s_{2k+2} \geq s_{2k+1}