¿Qué es Desarrollo asintótico?

$f$ admite el desarrollo asintótico

cuando los restos sucesivos cumplen las estimaciones indicadas. Entonces los coeficientes son únicos: $c_1 = \lim f/\varphi_1$ y, por inducción, $c_{i+1} = \lim\,(f - \sum_{j \leq i} c_j\varphi_j)/\varphi_{i+1}$.