[Analysis] limsup과 liminf의 정의

정의 (limsup, liminf)

1. 임의의 실수에 속하는 seq 에 대하여 - 여기서 seq sn 의 수렴성은 상관없다. 

2. lim sup s_n 의 정의는 inf sup sk 이다. 이것은 MCT에 의해서 증명가능

3. lim inf s_n 의 정의는 sup inf sk 이다. 

4. 임의의 수열에 대한것이라는 것을 한번더 강조