>>164
3^(k+1)-(k+1)^2
=3×3^k-k^2-2k-1
=2×3^k-2k-1+(3^k-k^2)
3^k-k^2>0を仮定しているはずだから、全ての自然数kについて2×3^k-2k-1>0を証明すれば、
3^(k+1)-(k+1)^2>0がいえる。