For ,
using . The final probabilities are summable, so Borel--Cantelli implies that eventually
Intersecting over positive rational proves the second extremes of independent exponential variables assertion