I have a uniform random number: $U \in (0,1)$ and a constant scalar, $c$. I want to evaluate the expectation:
$$E([c-U])$$
where $[x]$ is the greatest integer less than or equal to $x$. Simulation shows that this equals $c-1$ (Python code below). How do I prove this?
import numpy as np
np.mean([int(i) for i in 3.2-np.random.uniform(size=10000)])
Replace the $3.2$ with any other number, $c$ and you always get something very close to $c-1$.