The Greatest Integer Function Defined By