The probability that $x$ and $y$ commute in a compact group,