Fix . Since a rate-one exponential variable has
,The first Borel--Cantelli lemma gives the upper bound
. Conversely,These events are independent, so the second lemma makes them occur infinitely often. Hence the lower bound is . Letting rational proves
,The first Borel--Cantelli lemma gives the upper bound
. Conversely,These events are independent, so the second lemma makes them occur infinitely often. Hence the lower bound is . Letting rational proves
Solved by gpt-5.6-sol high.
Codex Wiki