Mostrar que $\lim\limits_{n\to\infty}\frac1{n}\sum\limits_{k=1}^{\infty}\left\lfloor\frac{n}{3^k}\right\rfloor=\frac{1}{2}$

Question

Mostrar que $$\lim_{n\to\infty}\frac1n\sum_{k=1}^{\infty}\left\lfloor\dfrac{n}{3^k}\right\rfloor=\frac{1}{2}$$

Que puedo hacer de la mano derecha. $$\sum_{k=1}^{\infty}\left\lfloor\dfrac{n}{3^k}\right\rfloor\le \sum_{k=1}^{\infty}\dfrac{n}{3^k}=\dfrac{n}{2}$$ Pero, ¿cómo resolver la mano izquierda?

Answer 1

$$0\leq \frac{n}{3^k}-\left\lfloor\frac{n}{3^k}\right\rfloor\leq 1$$ y el número de no-cero términos de la suma está delimitado por $1+\log_3(n)$, por lo tanto:

$$\begin{eqnarray*} \sum_{k=1}^{+\infty}\left\lfloor\frac{n}{3^k}\right\rfloor=\sum_{k=1}^{\left\lceil\log_3(n)\right\rceil}\left\lfloor\frac{n}{3^k}\right\rfloor&\geq& -(1+\log_3(n))+\sum_{k=1}^{\left\lceil\log_3(n)\right\rceil}\frac{n}{3^k}\\&\geq&\frac{n}{2}-(1+\log_3(n))-\sum_{k>\left\lceil \log_3(n)\right\rceil}\frac{n}{3^k}\\&\geq&\frac{n}{2}-2\log(n)\end{eqnarray*}$$ para cualquier $n$ lo suficientemente grande.