Prove that $x^2<\sin x \tan x$ as $x \to 0$
19791
Calculating $\lim_{x\to0} \left\lfloor\frac{x^2}{\sin x \tan x}\right\rfloor$
82286
Derivation of asymptotic solution of $\tan(x) = x$.
97326
Find $\lim_{x \to 0} (\frac{\tan(x)}{x})^{\frac{1}{x}}$
35244
Prove $\sin^2\theta + \cos^2\theta = 1$
146594
Prove that $\frac{d}{dx}(\tan^{-1}(x))=\frac{1}{1+x^2}dx$
122705
Solution of trigonometric equation $0 = x\cos(x)+2$
84730
use the fact that $\tan 2x=\sin2x \ /\cos2x$ to prove that $\tan 2x=2\tan x/(1-\tan^2x)$
104319
Real solution of $(\cos x -\sin x)\cdot \bigg(2\tan x+\frac{1}{\cos x}\bigg)+2=0.$
7296
Prove $(1-\cos x)/\sin x = \tan x/2$
156610
To prove the limit of $\frac{x^2+2\cos x-2}{x\sin^3 x}$ at zero is $1/12$
149376
How to Find $ \lim\limits_{x\to 0} \left(\frac {\tan x }{x} \right)^{\frac{1}{x^2}}$.
129890
Proving inequality $|\sin(n\theta) |\le n\sin\theta$
102918
Prove $\sin x$ is uniformly continuous on $\mathbb R$
103988
Prove that $\tan20^°\tan40^°\tan60^°\tan80^°=3$
85531
Calculate $\lim_{x\to 0}\frac{1}{x^{\sin(x)}}$
52413
Show that $\tan{(\pi/7)} \tan{(2\pi/7)}\tan{(3\pi/7)}=\sqrt{7}$
73262
Prove that the equation $\tan (z)=z$ has only real roots.