It's just that x in your topic is an integer for a certain floor of a building, and when n+ 1 is an even number, x=(n+ 1)/2 is an integer, which can satisfy that x is an integer.
When n+ 1 is an odd number and x is not an integer, we should take an integer around (n+ 1)/2.