senx + cosx <1+√(2(1-cosx)), pi/2 < x < 0