Proven Inequalities Reference

• x2≥0
• a2+b2≥2ab
• (a−b)2≥0
• a2+b2+c2≥ab+bc+ca
• (a+b)/2≥ ab−−√
• https://brilliant.org/wiki/titus-lemma/
• https://artofproblemsolving.com/wiki/index.php?title=Root-Mean_Square-Arithmetic_Mean-Geometric_Mean-Harmonic_mean_Inequality