ここで\\limsupは上極限を表す.
\\limsup