e>2.7
π>3.1を既知とする。
e^π>2.7^3.1=21.738･･･より
成立する。　(終)

√n(nは自然数)が有理数であるための必要十分条件はnが平方数であること
を証明せよ。