I'm trying to find a faster way to compute this:
$$\sum_{i=1}^n \lfloor i\sqrt{2} \rfloor $$
I doubt that there is a compact form, but there must be some way to calculate this faster than just iterating over i. If it wasn't for the floor, it would be easy, but I don't know and can't find anything on how to solve this.