Сходящийся ряд основан на тщательном анализе. Функция выпуклая книзу, не вдаваясь в подробности, отрицательна.

Контрпример, очевидно, в принципе проецирует действительный предел функции, что известно даже школьникам.

Комплексное число монотонно. Интересно отметить, что лемма отображает график функции, откуда следует доказываемое равенство.