О сходимости степенного ряда с нерациональными показателями степени, являющегося формальным решением алгебраического ОДУ

Здесь доказывается теорема о достаточном условии сходимости вблизи нуля степенного ряда (с комплексными, но не рациональными показателями степени), который формально удовлетворяет алгебраическому (полиномиальному) обыкновенному дифференциальному уравнению (ОДУ). Доказательство основано на классическом методе мажорант, но при построении мажорантного ряда используются методы степенной геометрии.