query: Proving the inequality $\frac{\tan{x}}{x} > \frac{x}{\sin{x}}$
positive_passages.docid: 23288
positive_passages.text: Prove that $x^2<\sin x \tan x$ as $x \to 0$
negative_passages.docid: 66247
negative_passages.text: Proving inequality $\left( \frac {x} {y}\right) ^{x}\left( \frac {1-x} {1-y}\right) ^{1-x}\geqslant 1$
negative_passages.docid: 7404
negative_passages.text: Induction and convergence of an inequality: $\frac{1\cdot3\cdot5\cdots(2n-1)}{2\cdot4\cdot6\cdots(2n)}\leq \frac{1}{\sqrt{2n+1}}$
negative_passages.docid: 3110
negative_passages.text: Prove $\frac{1}{\sqrt{x}}\geq \frac{\ln x}{x-1}$
negative_passages.docid: 50777
negative_passages.text: Prove that $4\sin\frac{2\pi}{7}- \tan\frac{\pi}{7}= \sqrt{7}$ .
negative_passages.docid: 7296
negative_passages.text: Prove $(1-\cos x)/\sin x = \tan x/2$
negative_passages.docid: 137791
negative_passages.text: Proving inequality $\sqrt{\frac{2a}{b+c}}+\sqrt{\frac{2b}{c+a}}+\sqrt{\frac{2c}{a+b}} \leq \sqrt{3 \left(\frac{a}{b}+\frac{b}{c}+\frac{c}{a}\right)}$
negative_passages.docid: 51979
negative_passages.text: Is there a geometrical method to prove $x<\frac{\sin x +\tan x}{2}$?
negative_passages.docid: 34349
negative_passages.text: Prove that $\frac{1}{1+x_1}+\frac{1}{1+x_2}+\cdots+\frac{1}{1+x_n} \geq \frac{n}{\sqrt[n]{x_1x_2\cdots x_n}+1}$
negative_passages.docid: 84730
negative_passages.text: use the fact that $\tan 2x=\sin2x \ /\cos2x$ to prove that $\tan 2x=2\tan x/(1-\tan^2x)$
negative_passages.docid: 126032
negative_passages.text: Proving a certain inequality
negative_passages.docid: 105641
negative_passages.text: Prove that $ab\leq\frac{1}{2\varepsilon}a^2+\frac{\varepsilon}{2}b^2$
negative_passages.docid: 24311
negative_passages.text: Proving $\frac{\sin x}{x} =\left(1-\frac{x^2}{\pi^2}\right)\left(1-\frac{x^2}{2^2\pi^2}\right) \left(1-\frac{x^2}{3^2\pi^2}\right)\cdots$
negative_passages.docid: 103757
negative_passages.text: how can I prove that $\frac{\arctan x}{x }< 1$?
negative_passages.docid: 26606
negative_passages.text: Prove the inequality $\,\frac{1}{\sqrt{1}+ \sqrt{3}} +\frac{1}{\sqrt{5}+ \sqrt{7} }+\ldots+\frac{1}{\sqrt{9997}+\sqrt{9999}}\gt 24$
negative_passages.docid: 145632
negative_passages.text: Proving $\frac{1}{\cos^2\alpha}<\frac{\tan\beta-\tan\alpha}{\beta-\alpha}<\frac{1}{\cos^2\beta}$
negative_passages.docid: 82170
negative_passages.text: Solve $x = \frac{1}{2}\tan(x)$