I would prove this first for the characteristic function of an interval, then for simple functions (finite linear combinations of characteristic functions of intervals). Every integrable function is the pointwise limit of an increasing sequence of simple functions, so you can use the monotone convergence theorem for Lebesgue–Stieltjes integration to deduce the result in general.