
Что-то такое?

в числителе, чтобы можно было легко и непринужденно доказать сходимость, по крайней мере, для вещественных

, не равных

...
А дальше мысль должна развиваться примерно так: "Рассматриваем эту функцию как функцию от вещественных аргументов. Можно показать, что она непрерывна и дифференцируема, скажем, при

. Ну а теперь ее можно аналитически продолжить, продолжим, получим функцию комплексного переменного, у которой точки

являются существенно особыми, а точка 0 - предельной для существенно особых". Так?
Про плотное множество да, я загнул, ведь если оно плотно, то каждая особая точка будет не изолированной => уж явно не будет называться существенно особой.
Лакунарные функции... Красота какая) Спасибо.