Let $f$ be a real function, defined, continuous and decreasing on $[ a , + \infty [$, where $a \in \mathbb { R }$. Show that for every integer $k \in \left[ a + 1 , + \infty \left[ \right. \right.$, we have $\int _ { k } ^ { k + 1 } f ( x ) d x \leqslant f ( k ) \leqslant \int _ { k - 1 } ^ { k } f ( x ) d x$.