数学归纳法证明 对于足够大的自然数n 总有2^n>n^3时 验证第一步不等式成立时所取的第一个值no最小应为 ...