It suffices to prove the assertion after replacing by : that replacement gives a tighter interval. Thus assume and , and put
At , let count isolated vertices in . The same indicator random variable calculation as for all isolated vertices gives
By the Chebyshev inequality, with high probability. Since eventually, the marked vertices are then not all connected.
At , the logarithmic-regime giant component result applies with and any fixed . Its unique giant component misses vertices. On the event that it misses at most twice that number, exchangeability makes the missed vertex set uniform conditional on its size. A union bound therefore gives
Thus all of is connected at with high probability.
For the uniform random graph process, assign uniform labels to the edges of the complete graph as independent random variables and reveal them in label order. The binomial random graph is the prefix containing the labels at most , where has a binomial distribution with parameters and . Its variance at is , whereas the gap between and the relevant endpoint is . The Chebyshev inequality gives and with high probability, with harmless integer rounding. The monotone graph property that all marked vertices are connected now implies
The marked-set connectivity threshold is lower than the threshold for connecting every vertex, because only about specified vertices need to avoid the small graph components.
Write , , , and let be the total progeny of a binomial branching process. The preceding binomial branching survival correction gives . For a branching process conditioned on extinction, the offspring probability generating function is , with mean
for sufficiently large . Summing expected generation sizes therefore gives .
Put and let count vertices in graph components of order at least . A breadth-first exploration of a binomial random graph is dominated by . The Markov inequality applied to finite total progeny gives
Always . Since , we have and . Hence . This bound controls the expected value directly, including rare large graph components.
For the lower bound, use the breadth-first exploration of a binomial random graph with unseen vertices, active vertices and explored vertices, starting from , . Let indicate a new root. Conditional on the past, the newly discovered count has a binomial distribution . Put . The unseen-count recursion gives
Here is a martingale. Up to , martingale-difference orthogonality gives , since each conditional variance is at most and is bounded.
Take . Then , and . The Doob L2 maximal inequality implies
The Taylor expansion, uniformly for , gives . Thus throughout the integer interval for large . The new-root sum is nonnegative, so on the preceding event throughout this interval. No graph component finishes there: all these explored vertices belong to one graph component, of order at least , with high probability. Its expected value is therefore at least . Combining both inequalities proves
The barely-supercritical largest-component expectation uses both a positive exploration window and a finite-progeny bound; a bare convergence-in-probability assertion would not by itself justify this expectation.
For the probability generating function , differentiation gives
The second derivative is a factorial moment, not the raw second moment.
In the Galton-Watson process, condition on . The next generation is a sum of independent offspring counts, and so its conditional generating function is . Averaging over gives
The conditional mean is and the conditional variance is . Thus iterated expectation gives from one ancestor, and the law of total variance gives , . Iterating yields the branching-process generation moments
For the critical case , the correct limiting value is . If , nonnegative offspring are zero almost surely, so every later generation has zero mean and variance; handle this directly rather than use an ambiguous zero power. At generation zero the mean is one and variance zero.
The branching-process extinction criterion states that extinction probability is the smallest fixed point of in : probabilities of extinction by successive generations are the iterates of from zero, increasing to that fixed point. Here the equation is , factoring as . The two admissible roots are and one, so
Use the positive-support geometric distribution, for , . Differentiating the geometric series supplies
For the jar, let be the waiting time to remove one red ball when exactly red balls remain. Every draw has success probability , so is geometric with that parameter. The are independent: after each success, fresh independent draws begin a new stage, and its conditional waiting distribution depends only on the deterministic count , not on earlier waiting times. Replacing a green ball leaves that stage's count unchanged.
Thus the coupon collector problem decomposition is , and
This is the coupon collector waiting-time variance. For , the formula correctly gives zero variance and a deterministic one-minute completion.
Let be the orthogonal projection onto the design column space. Linear transformations of the Gaussian errors give
The residual distribution is a singular multivariate normal supported on the orthogonal complement of that column space. Their cross-covariance is . Joint normality even makes the two vectors independent.
Order the observations as . The two normal linear models have design matrices
Removing each row mean leaves the information for the common slope equal to the sum of within-row squared fertilizer deviations. These sums are and , respectively. Therefore
The second design estimates the slope four times as precisely in variance terms.
The observed data in the second design are fitted exactly by . With , the no-fertilizer total forecast is
The future four independent errors contribute variance . Parameter-estimation uncertainty contributes , so the prediction-error variance is , not merely the variance of the estimated mean. Normally, with , the prediction interval in a normal linear model is
Here the printed data have zero residual and hence . The formal plug-in interval collapses to , exhibiting zero-residual degeneracy of regression prediction. Under the stated model with unknown positive variance, this exact fit is a probability-zero sample and the Studentized statistic is undefined at it; the collapsed expression is not evidence that future yield is certain. No positive-width numerical 95% interval can be obtained from these exact data by the usual residual-variance method without extra variance information or an explicit observation-rounding model.