round(sqrt(x*2)) - (sqrt(8*x + 1) + 1)/2