高校ではまったく出てこないが重要な論法がある．命題． が定数で，任意のに対して， が成り立つならば である．□右辺にいくらでも小さくできる項が含まれていると，その項を取り除いても等号付きで不等号が成立する． 証明は背理法による．（証明） 背理法…