Limit distribution of a roundoff error (Q434701)

Denote by \([x]:=\sup\{m\in\mathbb{Z}:\,m\leq x\}\) the integral part of \(x\in\mathbb{R}\) and by \(\{x\}:=x-[x]\in[0,1)\) its fractional part. Let \(X\) be a random variable. The conditional distribution function \(F_n(x):=P(\{X\}\leq x \mid [X]=n)\) for an integer \(n\in\mathbb{N}\) is investigated. Characterizations of the limit of \(F_n\) when \(n\) tends to infinity are established. The results cover most well-known continuous distribution functions.