Yesterday, nobody contributed anything.  :-(
The official answer is: 2 ^ (1 - 1 / sqrt(x)) * x * floor(-(1 / x))