On the differentiability of asymptotic series. (Q1470890)

\(P(x)\) sei analytisch im Innern eines Kreissektors; der Kreismittelpunkt sei \(x=0\). Ist im Innern des Sektors \[ P(x)=a_0+a_1x+\cdots+a_nx^n+\varepsilon(x)x^n, \] wo \(\varepsilon(x)\to 0\) für \(x\to 0\), so ist daselbst \[ P'(x)=a_1+2a_2x+\cdots+(n-1)a_{n-1}x^{n- 2}+\varepsilon_1(x)x^{n-2} \] mit \(\varepsilon_1(x)\to 0\) für \(x\to 0\).