整数と実数と不等号と切り上げと切り捨て

同じ列にある つの式は、の元で同値です。 次の つの式が成立します。