erdos-ivic conjecture