用数学归纳法证明"2^(n+1)>n^2+n+2"时,第一步验证初始值应取n=