Show $\lvert f\rvert\leq\lvert g\rvert\Rightarrow f=cg$
58178
Property of Entire Functions
96133
Prove that $ m_{a} \geq m_{g} \geq m_{h} $ using strict inequalities unless $ a = b $.
95266
Show $|t|\leq \pi \Rightarrow |e^{it}-1|\geq 2|t|/ \pi$
61640
Prove c exists for f:[0,1] -> R
155974
Show $||Tx||_2 \leq ||(v_n)||_2 \cdot ||x||_{\infty}$
35236
Proof $p \vdash q \Rightarrow p$
111129
Show that $[K:F]_s = [K:L]_s [L:F]_s$ and $[K:F]_i = [K:L]_i [L:F]_i$.
135577
Prove the existence of $c$ such that $f'(c) = 2c(f(c) - f(0))$
82591
Prove $(x+r_1) \cdots (x+r_n) \geq (x+(r_1 \cdots r_n)^{1/n})^{n}$.
49054
Show that $\left | \sin a - \sin b \right | \leq \left | a-b \right |$
98816
How to prove that $\{f+g<a\}=\bigcup_{r\in{\Bbb Q}}(\{f<r\}\cap\{g<a-r\})$?
89429
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| $
93102
prove that $f:X\rightarrow Y$ is surjective if and only if $f(f^{-1}(C))=C$
144382
Proving $\lVert x \rVert_3$ is smaller than euclidean norm
15365
Proving that the triangle inequality holds for a metric on $\mathbb{C}$
89514
Show that if $g \circ f$ is injective, then so is $f$.
64486
Show that for non-negative measurable functions $f,g$ with $fg \geq 1$ the inequality $(\int f^p)(\int g^p) \geq 1$ holds.