[x/2 + 1/2] + [(x -(x/2 + 1/2))/2+1/2] + 1 = x