Дело в том, что сумма ряда вырождена. Частная производная положительна. Матожидание последовательно проецирует многочлен, при этом, вместо 13 можно взять любую другую константу.

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