Halla una cota superior para
Trata aparte. Como , el primer término es : el mayor término de toda la serie, y uno que ninguna comparación que use puede cubrir. Sepáralo:
Suprime el para agrandar cada término. Para se tiene , así que achicar el denominador agranda la fracción:
En un argumento de acotación todas las desigualdades deben empujar en el mismo sentido; aquí las dos lo hacen.
Sustituye por su menor valor en el rango. Para se cumple , de modo que
Este es el paso que convierte una incómoda serie con peso logarítmico en una -serie sencilla, a costa de perder algo de precisión.
Suma exactamente la serie de comparación. Usando el resultado de Basilea menos su primer término,
Arma la cota.
La serie converge, y su suma queda con seguridad por debajo de .
Valora lo ajustada que es la cota. Sumando tres millones de términos se obtiene , así que la cota se pasa en unos . La mayor parte de la holgura viene del paso 3: sustituir por es muy generoso para grande, donde es mucho mayor. Partir la suma en, digamos, y usar a partir de ahí la ajustaría bastante.
Need to solve a different problem like this? Open the solver →