Gunakan \((a-b)^2\leq2a^2+2b^2\) untuk penutupan. Definit positif dan simetri langsung; pertidaksamaan segitiga diperoleh dengan Cauchy–Schwarz pada jumlah parsial lalu melewatkan limit.