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.
Fix and sample from the Erdős-Rényi model with . Let count copies of the complete bipartite graph . By the expected subgraph count in the Erdős-Rényi model,
Put and let count independent set of size . If the chromatic number satisfies , some colour class has at least vertices, so . Moreover,
because the positive part of the exponent is whereas has order . The first moment method therefore gives .
Using Markov inequality for and the union bound,
for all sufficiently large . Hence at least one such contains no and has .
The degree of counts the incident edges, each present independently with probability . Thus in the Erdős-Rényi model,
The sharp Hamilton cycle threshold for the Erdős-Rényi model says that
only above the window . The hypothesis therefore places above that window. The Hamiltonicity-to-pancyclicity sprinkling principle then says that three independent rounds contain every cycle graph , , with high probability: one round supplies a Hamilton cycle, while the other two supply the chords and short-cycle edges used to obtain all intermediate lengths.
The union of the three rounds has individual edge probability
By the standard monotone coupling, it is a subgraph of . Since being pancyclic is an increasing graph property, the required probability tends to one. If , interpret the latter parameter as , in which case the conclusion is immediate.