Every finite graph has a three-colourable subgraph with at least edges. Give vertices three independent uniform colours and retain edges whose endpoints have different colours. Each edge survives with probability , so the expected number surviving is .
Codex Wiki