query: Prove that $\left|\frac{z_1-z_2}{1-z_1\bar{z_2}}\right|\lt 1$
positive_passages.docid: 6100
positive_passages.text: Show that $\left|\frac{\alpha - \beta}{1-\bar{\alpha}\beta}\right| < 1$ when $|\alpha|,|\beta| < 1$
negative_passages.docid: 41293
negative_passages.text: Prove the inequalities $|z_1 +z_2| \geq \frac{1}{2}(|z_1|+|z_2|)|\frac {z_1} {|z_1|} +\frac {z_2} {|z_2|}|$
negative_passages.docid: 87411
negative_passages.text: Prove that $\sqrt{x_1}+\sqrt{x_2}+\cdots+\sqrt{x_n} \geq (n-1) \left (\frac{1}{\sqrt{x_1}}+\frac{1}{\sqrt{x_2}}+\cdots+\frac{1}{\sqrt{x_n}} \right )$
negative_passages.docid: 94962
negative_passages.text: For complex $z$, $|z| = 1 \implies \text{Re}\left(\frac{1-z}{1+z}\right)  = 0$
negative_passages.docid: 95266
negative_passages.text: Show $|t|\leq \pi \Rightarrow |e^{it}-1|\geq 2|t|/ \pi$
negative_passages.docid: 116257
negative_passages.text: How to show $\lim_{k\rightarrow \infty} \left(1 + \frac{z}{k}\right)^k=e^z$
negative_passages.docid: 136855
negative_passages.text: Proof that $\mathbb{Z}\left[\frac{1 + \sqrt{-19}}{2}\right]$ is a PID
negative_passages.docid: 54513
negative_passages.text: Prove $\frac 1{x+1}<\ln\left(\frac{x+1}x\right)<0.5\left(\frac 1x+\frac 1{x+1}\right)$
negative_passages.docid: 12020
negative_passages.text: Prove $\sqrt{n+1}-\sqrt{n}\lt \frac{1}{2\sqrt{n}}$
negative_passages.docid: 5034
negative_passages.text: A closed form of $\int_0^1\frac{\ln\ln\left({1}/{x}\right)}{x^2-x+1}\mathrm dx$
negative_passages.docid: 89429
negative_passages.text: Prove $\sup \left| f'\left( x\right) \right| ^{2}\leqslant 4\sup \left| f\left( x\right) \right| \sup \left| f''\left( x\right) \right| $
negative_passages.docid: 49109
negative_passages.text: Proving $\gcd \left(\frac{a}{\gcd (a,b)},\frac{b}{\gcd (a,b)}\right)=1$
negative_passages.docid: 105145
negative_passages.text: Show that $\mathbb{E}\left(\bar{X}_{n}\mid X_{(1)},X_{(n)}\right) = \frac{X_{(1)}+X_{(n)}}{2}$
negative_passages.docid: 99753
negative_passages.text: How to prove $\int_0^1\frac{1-x}{(\ln x)(1+x)}\ dx=\ln\left(\frac2{\pi}\right)$?
negative_passages.docid: 69673
negative_passages.text: Prove that $\left (\frac{a^2 + b^2 +c^2}{a+b+c} \right) ^ {(a+b+c)} > a^a b^b c^c$
negative_passages.docid: 61162
negative_passages.text: Show that $\left(\int_0^1 f(x)\,dx\right)^2\leq2\int_0^1x\, f(x)^2\,dx $
negative_passages.docid: 138683
negative_passages.text: Proving $\prod_{i=2}^{i=n} \left(1-\frac{1}{i^2}\right) = \frac{n+1}{2n}$ by induction