Sum of floor with irrational number multiplication $\sum_{k=1}^{n} \left\lfloor {k*\sqrt{2}} \right\rfloor$
How to find $\sum_{i=1}^n\left\lfloor i\sqrt{2}\right\rfloor$ A001951 A Beatty sequence: a(n) = floor(n*sqrt(2)).