Her fører vi et bevis for at $a^2+b^2+c^2 geq ab + bc + ca$ for alle $a,b,c in mathbb R$. Her bruker vi addisjon av ulikheter vi allerede vet er sanne, som resonnement for det vi skal bevise.