e^π>21の証明結果も用いて
e^(π/2)>9/2を示すのはどうかしら