Dyson's conjecture