x(3-x)/2 > (6/(pi)^2)