If X is compact and X^2 doesn't contain an uncountable discrete subspace, then X is separable.