<s>[INST] $\sum_{k=0}^\infty[\frac{n+2^k}{2^{k+1}}] = ?$ (IMO 1968) 
For every $ n \in \mathbb{N} $ evaluate the sum $ \displaystyle \sum_{k=0}^\infty \left[ \dfrac{n+2^k}{2^{k+1}} \right]$ ($[x]$ denotes the greatest integer not exceeding $x$)

This was IMO 1968, 6th problem.
This is a very interesting question I wanted to share, my answer :
 [/INST] 
For every $ n \in \mathbb{N} $ evaluate the sum $ \displaystyle \sum_{k=0}^\infty \left[ \dfrac{n+2^k}{2^{k+1}} \right] $

Now,
$\displaystyle \sum_{k=0}^\infty \left[ \dfrac{n+2^k}{2^{k+1}} \right] = \left[ \dfrac{n+1}{2} \right]+ \left[ \dfrac{n+2}{4}\right] + \left[ \dfrac{n+4}{8}\right]+\cdots+\left[ \dfrac{n+2^k}
{2^{k+1}}\right]\cdots $

$ \because \ \left[n\right] = \left[ \dfrac{n}{2} \right]+ \left[ \dfrac{n+1}{2} \right] \implies \left[ \dfrac{n}{2} +\dfrac{1}{2} \right]= \left[n\right]-\left[ \dfrac{n}{2} \right]\\
 \implies \left[ \dfrac{n+2^k}{2^{k+1}} \right] = \left[ \dfrac{n}{2^{k+1}}+\dfrac{1}{2} \right]=\left[ \dfrac{n}{2^k} \right] -\left[ \dfrac{n}{2^{k+1}} \right] $

Now using the above result
$\displaystyle \sum_{k=0}^\infty \left[ \dfrac{n+2^k}{2^{k+1}} \right] = \left(\left[ n \right] - \left[ \dfrac{n}{2} \right] \right) + \left(\left[ \dfrac{n}{2} \right] - \left[ \dfrac{n}{4} \right] \right) + \left(\left[ \dfrac{n}{4} \right] - \left[ \dfrac{n}{8} \right] \right) \cdots    $
$\implies \displaystyle \sum_{k=0}^\infty \left[ \dfrac{n+2^k}{2^{k+1}} \right] = \left[ n \right] = 
n \ \ (\because n \in \mathbb{N}) $
$\boxed{ \therefore \displaystyle \sum_{k=0}^\infty \left[ \dfrac{n+2^k}{2^{k+1}} \right] = n  }$
</s>