Sono arrivato alla disuguaglianza [latex:2retqgj7]S_{\infty}&#40;x&#41; \ge S_n&#40;x&#41;-A_nx^{n+1}+Mx^{n+1}[/latex:2retqgj7] valida [latex:2retqgj7]\forall n \ge n_0[/latex:2retqgj7] dipendente da [latex:2retqgj7]M[/latex:2retqgj7] e dove si è posto [latex:2retqgj7]A_n=\sum_{k=0}^{n}a_k[/latex:2retqgj7]. Controllando la differenza tra [latex:2retqgj7]S_n&#40;x&#41;-A_nx^{n+1}[/latex:2retqgj7] e passando al [latex:2retqgj7]\liminf[/latex:2retqgj7] forse si riesce a fare..