Exponential survival probability (source code)

= Exponential survival probability

A lifetime exponential with rate $\mu$ survives for at least duration $u$ with probability $e^{-\mu u}$.