Taylor's theorem about gives, for some ,
Since is nondecreasing and
the stated inequality follows. At the fixed point ,
Therefore the quadratic Galton-Watson extinction bound is
The denominator is at least because is integer-valued and , so .