Each unordered triple of vertices is a triangle in a graph with probability . Consequently the triangle count in a binomial random graph satisfies . If , the Markov inequality gives . Hence
the sparse direction of the triangle-existence threshold in a binomial random graph.
Two distinct triangles in a graph with at most one common vertex use disjoint edges, so their indicator random variables are independent and have zero covariance. A pair sharing an edge has covariance . The count from part (i) gives
With , the triangle variance in a binomial random graph therefore satisfies
Both terms tend to zero when , because . Applying part (ii) proves
completing the triangle-existence threshold in a binomial random graph.