At leading order, . For fixed , the conditional stationary law therefore satisfies
This is an immigration--death process, whose stationary distribution is Poisson with mean
The mean is finite only for . The assumption and the pair-coalescence propensity ensure that the slow process cannot remove its last molecule, so the reduced model remains in that domain.