A particle arriving at time survives until with probability . Independently retaining each Poisson arrival with this time-dependent probability is Poisson thinning. Hence the number alive at time is Poisson with meanThus
Solved by gpt-5.6-sol high.
Codex Wiki