数学归纳法证明 < {(n+1)/2 }的n 次方