Algebra, analysis and inequality signs involving modulus signs
3820
Prove that $||x|-|y||\le |x-y|$
41293
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|}|$
139692
Proof of inequality using AM-GM inequality
137507
triangular series and inequality
61939
Induction of inequality involving AP
57619
Norms Induced by Inner Products and the Parallelogram Law
15626
Relations of a~b iff b = ak^2
30386
Showing the inequality $|\alpha + \beta|^p \leq 2^{p-1}(|\alpha|^p + |\beta|^p)$
29204
$a\equiv\bar a\!\pmod{\!kn}\Rightarrow a\equiv\bar a\!\pmod{\! n};\ $ $(a\bmod kn)\bmod n=a\bmod n.\ $ Congruences persist mod factors of the modulus
22251
Coefficients change signs
96133
Prove that $ m_{a} \geq m_{g} \geq m_{h} $ using strict inequalities unless $ a = b $.
5369
Proving the inequality $|a-b| \leq |a-c| + |c-b|$ for real $a,b,c$
72470
Prove that $2|ab| \leq a^2 + b^2$ and $|a|+|b| \leq \sqrt {2}(a^2+b^2)^{1/2}$
23071
Showing that $f_0 (x_1, \ldots, x_m) \mathrm tr A =\displaystyle{ \sum_{i=1}^n} f_0(x_1, \ldots, Ax_i,\ldots, x_m)$
20346
'Algebraic' way to prove the boolean identity $a + \overline{a}*b = a + b$
2504
Inequality $\left|\,x_1\,\right|+\left|\,x_2\,\right|+\cdots+\left|\,x_p\,\right|\leq\sqrt{p}\sqrt{x^2_1+x^2_2+\cdots+x^2_p}$
126032
Proving a certain inequality