 Solution

For $s>0$, integrate the probability density function to obtain the cumulative distribution functionIf $\mu >0$, the requested probability is $F_X(\mu )-F_X(0)$. Since the hyperbolic tangent is odd, this givesThe second case matters because the question places no sign restriction on $\mu$: the event is empty when its upper endpoint is nonpositive. Using an oriented integral from $0$ to a negative $\mu$ would give a negative number, not a probability.