Redirecting to Erdős–Graham conjecture