I'm trying to solve the following
$$ \int_0^n f(x) d \lfloor x \rfloor $$
where $\lfloor x \rfloor$ is the floor function, $f : [0,n] \rightarrow \mathbb{R}$ is continuous, and $n \in \mathbb{N}$.
I know $\frac{d}{dx} \lfloor x \rfloor$ itself cannot be secured (i.e. not differentiable). I cannot proceed further.
Can anyone give some hints?
Note that there is a difference between integrating $[0,n]$, $[0,n)$, $(0,n]$ and $(0,n)$:
$$\int_{[0,n]}f(x)d\lfloor x\rfloor =\sum_{i=0}^nf(i)$$
$$\int_{[0,n)}f(x)d\lfloor x\rfloor =\sum_{i=0}^{n-1}f(i)$$
$$\int_{(0,n]}f(x)d\lfloor x\rfloor =\sum_{i=1}^nf(i)$$
$$\int_{(0,n)}f(x)d\lfloor x\rfloor =\sum_{i=1}^{n-1}f(i)$$
since the associated measure for the floor-function is
$$\mu_{\lfloor\cdot\rfloor}=\sum_{k=-\infty}^\infty \delta_k$$