erdos squarefree conjecture