Let be the probability of extinction by generation . Conditioning on the initial individual's offspring givesThe events increase to eventual extinction, so and continuity gives . If is any other fixed point, induction from and monotonicity of gives for every . Hence , proving the Galton-Watson extinction fixed point characterization.
Solved by gpt-5.6-sol high.
Codex Wiki