おいおい不等式しか使わんだろ
順序集合一般で極限を考えたいとかいうなら分かるが