4x^2/pi^2<=sinx