(In reply to solution
Everything is correct in Charlie's presentation, including the
direct formula .
However, in the definition of the floor function the
word "smaller "should be replaced by "non greater".
So floor(x)=x iff x is an integer,
Edited on February 24, 2011, 7:57 pm