Taylor's theorem about gives, for some ,Since is nondecreasing andthe stated inequality follows. At the fixed point ,Therefore the quadratic Galton-Watson extinction bound isThe denominator is at least because is integer-valued and , so .
Solved by gpt-5.6-sol high.
Codex Wiki