In the Erdős-Rényi model , the vertex set is and every one of the possible edges is present independently with probability .
Let count isolated vertices. If , the union bound gives
Thus .
Chebyshev inequality states that
Now suppose . Monotonicity lets us use the largest allowed . With
the supplied lower exponential estimate shows
For distinct vertices ,
Hence
and
Chebyshev with gives , so .
For connectivity, the lower-threshold result is immediate because a connected graph has no isolated vertex:
For the upper threshold, if a graph is disconnected it has a component with vertex set of some size . In particular, every one of the edges from to its complement is absent. Therefore
Choose
For , the standard bound gives
The sum of these terms tends to zero. For , use and :
Thus above the threshold. Together,
This is the connectivity threshold in the Erdős-Rényi model.
Markov inequality says that a nonnegative random variable satisfies
Chebyshev inequality says that a random variable with finite variance satisfies
Let count triangles in . The triangle count in a binomial random graph calculation gives
Since ,
For sufficiently large , , and Chebyshev inequality gives
The probability generating function of each is . Independence makes the generating function of equal to , so the addition of independent Poisson random variables gives .
The Poisson distribution has mean and variance , hence and . Since , Chebyshev inequality gives
Part (iii) and the given harmonic-sum asymptotic show that
For any fixed , this deterministic ratio lies within of for all sufficiently large . The Chebyshev inequality and part (iv) then give
Thus
If , then . Hence the Chebyshev inequality gives
The assumed limit therefore proves
This is the second moment method in its simplest form.
Assume without loss of generality that and let . By Chebyshev inequality,
Using the event in the variational definition of total variation distance gives
Start the lazy hypercube walk at and write
This is an eigenfunction with eigenvalue , so
The stated variance estimates allow the preceding lemma with and
For , is bounded below by a constant multiple of , uniformly for all sufficiently large . Choosing so that , and absorbing finitely many small into the constant, proves
Let count sample points in the intersection of with the ball of radius around . That intersection has volume at least , so with . The event implies . Since and , Chebyshev inequality gives
Taking the minimum with the trivial bound one proves the result.