La respuesta a esta pregunta depende de la irracionalidad de medida μ(π)μ(π) de ππ, en una forma que significa que está sin resolver. (El estado actual de la técnica es que 2≤μ(π)≤C2≤μ(π)≤C, donde C≈7.6C≈7.6.)
Supongamos que μ(π)>4μ(π)>4. Luego existen una infinidad de pares de enteros (p,q)(p,q) tales que
|π−pq|<1q4∣∣∣π−pq∣∣∣<1q4
Para tal pp, |sinp|=|sin(p−qπ)|<|qπ−p|<1q3|sinp|=|sin(p−qπ)|<|qπ−p|<1q3 y así
|1p3\pecadop|>q3p3>127∣∣∣1p3\pecadop∣∣∣>q3p3>127
(como pqpq se aproxima a la ππ, por lo que, en particular, va a ser mayor que 33). Desde la secuencia sólo pueden converger a cero, esto es suficiente para demostrar que diverge.
Por otro lado, supongamos que la secuencia diverge. A continuación, hay algunas constantes CC y subsequence (pn)(pn) tales que
|1(pn)3sinpn|>C∣∣∣1(pn)3sinpn∣∣∣>C
para todos los nn. Elija qnqn , de modo que |pn−πqn|<π2|pn−πqn|<π2. Entonces tenemos
|πqn−pn|<π2|sin(pn−πqn)|=π2|\pecadopn|<1C(pn)3|πqn−pn|<π2|sin(pn−πqn)|=π2|\pecadopn|<1C(pn)3
y así
|πpnqn|<1C(pn)3qn<127C(qn)4∣∣∣πpnqn∣∣∣<1C(pn)3qn<127C(qn)4
para una infinidad de pn,qnpn,qn. Esto es suficiente para deducir que μ(π)>4μ(π)>4.
Así que, en resumen, la búsqueda de si la sucesión converge esencialmente se reduce a la comparación de μ(π)μ(π) a 44: un salvajemente problema sin resolver.