# A differential inequality

The differential inequality $$y^'\leq \frac{x^{2011}(1+y^6)}{y^2}$$ with $\displaystyle y\left(\frac{\pi}{4}\right)=2012$ is given? What can one say about $y(x)?$

-

You can translate the inequality to $\frac{y^2 \cdot y'}{1+y^6} \leq x^{2011}$ and then integrate from $x_00$ to $s$ with respect to $x$.

$$\int_{x_0}^s \frac{y(x)^2 \cdot y(x)'}{1+y(x)^6} dx \leq \frac{s^{2012}}{2012}-\frac{x_0^{2012}}{2012}$$

$$\frac{1}{3} \arctan y^3(s) -\frac{1}{3}\arctan y^3(x_0) \leq \frac{s^{2012}}{2012}-\frac{x_0^{2012}}{2012}$$

In your case, take $x_0=\frac{\pi}{4}$

-