El problema es calcular un límite $$ \lim_{n\to \infty} \frac{1}{n} \sum_{k=1}^n \Big\{\frac{k}{\sqrt{3}}\Big\} $$ donde {$\cdot$} es una parte fraccionaria. Creo que este límite es igual a $\frac{1}{2}$, pero no tengo una rigurosa prueba. La única idea que viene a mi mente es la siguiente. Se puede demostrar que el conjunto de $$ A=\bigg\{ \Big\{\frac{k}{\sqrt{3}}\Big\} : k\in \mathbb{N}\bigg\} \subconjunto [0,1] $$ es denso y equidistributed. Es por eso que el valor de la media representado por el límite es igual al valor de la media de la distribución uniforme $U(0,1)$ que es igual a $1/2$. ¿Cómo puedo realizar la prueba rigurosa?
Cualquier otro tipo de enfoques son apreciados. Probablemente, uno puede aplicar la ley de los grandes números para calcular este límite.