Python Greatest Integer Function Definition