abs(5.4*sin(8*x))>=4.5, x from 0 to 0.25*Pi