S(t_i)\leq S(\triangle h_ih_{i+1}h)