Erdős squarefree conjecture