用数学归纳法证明“2^n>n^2+1对于n>n(0)的自然数n都成立”时,第一步证明中的起始值n（0）应取( 4 )
也就是说,对于n>4(即n从5开始向上取值),不等式都成立.