Hay una secuencia de enteros positivos $\{a_n\}=\{1,2,4,5,8,\ldots\}$ donde para cada $a_n$ en esta secuencia, $\sin^2a_n$ es mayor que $\frac12$ y esta es la máxima secuencia de este tipo.
¿Qué frecuencia tienen estos $a_n$ ? En cada intervalo $[(k-1)\pi,k\pi]$ hay un subintervalo en el medio de longitud $\pi/2$ donde $\sin^2(x)>\frac12$ . Desde $\pi/2>1$ siempre hay un entero en este subintervalo. Así que en los intervalos $[0,\pi],[\pi,2\pi],[2\pi,3\pi],\ldots$ siempre se puede encontrar (al menos) uno $a_n$ . Sea $b_n$ sea algún número entero en la intersección de $[(n-1)\pi,n\pi]$ con $\{a_n\}$ . Nota $b_n<n\pi$ .
Considere $$ \begin{align} \sum_{n=1}^{\infty}\frac{\sin^2(n)}{n}& >\sum_{n=1}^{\infty}\frac{\sin^2(a_n)}{a_n}&&\text{just summing over fewer positive terms}\\ &>\frac12\sum_{n=1}^{\infty}\frac{1}{a_n}&&\text{property of $a_n$}\\ &\geq\frac12\sum_{n=1}^{\infty}\frac{1}{b_n}&&\text{just summing over fewer positive terms}\\ &>\frac1{2\pi}\sum_{n=1}^{\infty}\frac{1}{n}&&\text{property of $b_n$} \end{align}$$
4 votos
Si se permitiera la prueba de Dirichlet, diría que hay que reescribir $\sin^2 n = \frac{1}{2}(1-\cos(2n))$ y entonces se obtiene la suma de una serie divergente y una serie convergente.
0 votos
@DonThousand pero esto requiere un análisis complejo que está por encima del nivel de la pregunta
6 votos
@DonThousand no veo la relevancia de esta pregunta. $\frac{\sin^2 x}{x}$ no es una función decreciente por lo que la prueba integral no será aplicable - y por ejemplo, $\int_1^n \frac{\sin^2(\pi x)}{x} dx$ también es asintótica a $\frac{1}{2}\log(n)$ .