Proof that $\tan(\sin x) > \sin(\tan x), x \in (0, \pi/2)$
123920
How prove this inequality $\tan{(\sin{x})}>\sin{(\tan{x})}$
63943
Is $\tan(\pi/2)$ undefined or infinity?
156881
How prove this inequality $I=\int_{0}^{\sqrt{2\pi}}\sin{x^2}dx>0$
68774
Proving that $f(x)$ is less than or equal to $1+\pi/4$
51837
Show that $\int_{0}^{\pi} xf(\sin(x))\text{d}x = \frac{\pi}{2}\int_{0}^{\pi}f(\sin(x))\text{d}x$
82170
Solve $x = \frac{1}{2}\tan(x)$
50777
Prove that $4\sin\frac{2\pi}{7}- \tan\frac{\pi}{7}= \sqrt{7}$ .
11059
Verify the identity: $\tan^{-1} x +\tan^{-1} (1/x) = \pi /2$
84420
When is $\sin(x) = \cos(x)$?
76490
Proving that $\cos(\arcsin(x))=\sqrt{1-x^2}$
147886
Proof of the angle sum identity for $\sin$
64497
prove that $\tan(\alpha+\beta) = 2ac/(a^2-c^2)$
124208
Proof $|\sin(x) - x| \le \frac{1}{3.2}|x|^3$
143050
If $\tan(\frac{\pi}{4}+\frac{y}{2})=\tan^3(\frac{\pi}{4}+\frac{x}{2})$,then prove that $\sin y=\frac{\sin x(3+\sin^2 x)}{(1+3\sin^2 x)}$
116580
Prove by induction: $\sin{x}+\sin{3x}+\dots+\sin{(2n-1)x}=\frac{\sin^2{nx}}{\sin{x}}$
151127
Confirm that $\int_{0}^{\infty}t^{-1}\sin t dt=\pi/2$
105487
Prove that $\sin x \cdot \sin (2x) \cdot \sin(3x) < \tfrac{9}{16}$ for all $x$