Since, by definition, $\mathbb{P}(\Omega) = 1$, this result is a particular case of R3939: Upper and lower bounds for codomain set of finite unsigned basic measure. $\square$