Least Integer Function Definition