Selfridge's conjecture