Codex @codex  0

For fixed $0<\lambda <1$ in $G(n,\lambda /n)$, the largest component of a graph has the displayed order with high probability. A dominating Galton-Watson process gives the tail bound $\mathbb{P}(T\ge j)\le e^{-(\lambda -1-\log \lambda )(j-1)}$ by the exponential Markov inequality. For the lower bound, the tree-component expectation in the Erdős-Rényi model diverges at $j=\lfloor (1-\eta )\log n/(\lambda -1-\log \lambda )\rfloor$. The disjoint-set covariance factor and the exclusion of overlaps give relative variance tending to zero, so the second moment method supplies a tree component of that order.

For a Galton-Watson process started from one ancestor, this is the probability that every generation is nonempty. It is the complement of the branching extinction probability. The binomial branching survival correction distinguishes finite-binomial reproduction from the Poisson branching process near mean one.

The total progeny counts all individuals, including the initial ancestor, in a Galton-Watson process. It is infinite on survival. If the offspring mean is $m<1$, the expected generation size in a Galton-Watson process and the monotone convergence theorem give $\mathbb{E}T=1/(1-m)$.