Existence of the Floor Function