sum(2n-x/(x+1)) for n=0 to x