>>701
10以上の全ての自然数で2^n>n^3+2nが成り立つことを証明する。
数学的帰納法でできる。