「an→α (n→∞) かつ bn→β (n→∞) かつ (∀n∈N)（an≦bn)」⇒ 「α≦β」

「収束列の最小関係は極限操作後も保存される」という定理についてのノートのメンテナンス完了。