当n >= 1时，用归纳法证明 2n + 7 < (n + 7)^2

• 自然语言
• 数学输入