Mean calculated on a weighted sample ≈ a weighted mean of the population

This is logical since the values that end up in the sample already follow the weighted distribution, therefore the sample mean is expected to be the equivalent of a weighted mean calculated using the same ratios on the population