Let D be any distribution over the integers. Suppose that the first moment exists for D and is an irrational number.
In this case, the sample mean is never exactly equal to the true mean because the sample mean is always a rational number.
This is simple to prove: the sample mean is always a sum of integers divided by the number of samples, which is always an integer.