Let . For the bound is immediate. Otherwise choose a vertex-minimal subgraph with chromatic number . Each vertex has degree at least in : if one had degree at most , a -colouring of the smaller graph obtained by deleting it could be extended to it using an absent neighbour colour, contradicting .
The graph has at least vertices. By the degree-sum identity,
Solving the quadratic inequality gives

Articles by others on the same topic (0)

There are currently no matching articles.