Solution (source code)

= Solution

The <survival function> of this <exponential distribution> is $P(T>t)=e^{-\alpha t}$. At the <expected value> found above,
$$
\boxed{P(T>\mathbb E[T])=e^{-\alpha(1/\alpha)}=e^{-1}.}
$$