It is enough to find the global minimum of each summand on the left-hand side. We do it using simple modification and the A-G inequality (the summands are always positive):
The inequalities change to the identities, iff , , . Thus
and
Backslash je v TeXu tak důležitý jako nekonečno při dělení nulou v tělesech charakteristiky 0.
, 
, 
. Thus
