I have a cumulative function/cdf defined as follows, where $X$ is a random variable:
$\ F_X(x) = \left\{\begin{aligned} &0 &&: x \le 0\\ &1-e^{-x} &&: x > 0 \end{aligned} \right.$
How would I go about solving $P(0 \le e^X \le 4) $ ?
I understand that if we are given a probability range and a CDF we can find the probability as follows:
$P(a \le X \le b) =F_X(b)-F_X(a)$
Would I just need to do some simplification like taking the natural log of both sides of the range of the probability?