PROOF 75
Prove.
Rounding error never exceeds half a unit
On the real numbers ℝ.
Definition D1
Let n be the integer part of x. If x − n < 1/2, then round(x) = n; if x − n ≥ 1/2, then round(x) = n + 1.
Proof.
Related labs
PROOF 75
Rounding error never exceeds half a unit
On the real numbers ℝ.
Definition D1
Let n be the integer part of x. If x − n < 1/2, then round(x) = n; if x − n ≥ 1/2, then round(x) = n + 1.
Proof.
Related labs