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