Тоді наступні обчислення приводять до бажаної нерівності: . З даного доведення випливає, що рівність виконується тотожно в тому випадку, якщо всі — це невід'ємні дійсні числа, що, в свою чергу, виконується тотожно, якщо всі ненульові мають один і той самий , тобто для комплексної константи і дійсних констант , .