Show that the differential equation $\displaystyle x' = \frac{x \sin(e^x+t)}{1+(e^t \cos x+x)^2}, x(1) = 1$ has a nontrivial solution $\displaystyle \phi(t)$ defined on

$\displaystyle [0,2]$ such that $\displaystyle 0 < \phi(t) < \frac{\pi}{2}$ for all $\displaystyle t \in [0,2]$.

I only know that x = 0 is a trivial solution. Then how do I proceed? (Thinking)