Definition 18.7.1 (Stieltjes Function).label Let $F: \real \to \real$, then $F$ is a Stieltjes function if $F$ is right-continuous and non-decreasing.
Definition 18.7.1 (Stieltjes Function).label Let $F: \real \to \real$, then $F$ is a Stieltjes function if $F$ is right-continuous and non-decreasing.