Düzeltilmiş şekli:
( ∀ x,y≥0 için) x2+y2≤(x+y)2 olur.
Üstel fonksiyonla ilgili (türevle gösterilebilen veya üstel fonksiyonun tanımdan elde edilebilen)
∀ u∈R için eu≥1+u eşitsizliğini kullanacağız.
Bu eşitsizlikten, ∀ u∈R için eu−1≥u elde edilir.
Bunları birleştirerek (ve u=x+y2 aldığımızda u≥0 olur)
( ∀ x,y≥0 için) x2+y24≤(x+y)24=u2≤(eu−1)2=e2u−2=ex+y−2
elde edilir.