Изменения

Пусть две [[Производящая функция#main | производящие функции]] <tex>\varphi = \varphi(s)</tex> и <tex>\psi = \psi(t),\, \psi(0) = 1\,</tex> с неотрицательными коэффицентами связаны между собой [[Уравнение Лагранжа и теорема Лагранжа#Уравнение Лагранжа и теорема Лагранжа | уравнением Лагранжа]] <tex>\varphi(s) = s\cdot \psi\cdot (\varphi(s))</tex>. Пусть <tex>r > 0\,</tex> — [[Степенные ряды#Радиус сходимости | радиус сходимости ряда]] <tex>\varphi,</tex> причем числовой ряд <tex>\varphi(r)</tex> сходится. Тогда Пусть радиус сходимости ряда <tex>\psi</tex> не меньше равен <tex>\rho = \varphi(r)— </tex>. Если числовой ряд Тогда<tex>1. \rho \geqslant \varphi '(r)</tex> также сходится, то радиус сходимости ряда .<tex>2. \rho = \psivarphi(r),</tex> равен если числовой ряд <tex>\rho = \varphi'(r)</tex>также сходится. 

Перепишем теперь утверждение Лагранжа <tex> \varphi(s) = s \cdot \psi \cdot (\varphi(s)) </tex> в виде <tex> \psi(\lambda) = \dfrac {\lambda} {\varphi^{-1}(\lambda)}. </tex>Функции <tex>\psi(\lambda) </tex> и <tex> \varphi^{-1}(\lambda)</tex> определены и [https://ru.wikipedia.org/wiki/%D0%93%D0%BE%D0%BB%D0%BE%D0%BC%D0%BE%D1%80%D1%84%D0%BD%D0%B0%D1%8F_%D1%84%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D1%8F#%D0%9E%D0%BF%D1%80%D0%B5%D0%B4%D0%B5%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5 голоморфны (аналитичны) ]внутри круга радиуса <tex>\rho </tex>. Теорема будет доказана, если мы покажем, что функцию <tex>\varphi^{-1}(\lambda)</tex> нельзя продолжить голоморфно ни в какую окрестность точки <tex>\rho</tex>.