n >= 1 のときに 2n + 7 < (n + 7)^2 であることを数学的帰納法を使って示す