 Chromatic number of a binomial random graph

For a fixed probability strictly between zero and one, the largest independent set has leading size $2{\log }_{1/(1-p)}n$, giving a lower bound for colouring. The matching upper bound uses independent sets in every large subset of a dense random graph, then repeatedly colours and removes such sets. A sufficiently strong probability estimate makes the failure contribution negligible for the expectation.