20160706

自然数 n に対して x(n) を実数とする.
limsup_{n→∞}(x(n))=inf({sup({x(n);nはm以上の自然数});mは自然数}), liminf_{n→∞}(x(n))=sup({inf({x(n);nはm以上の自然数});mは自然数}).