solve (10p+3-p^2)^4/16^4 \leq 27p^3/[4(p^2-3)^2]