[jpeterson]

I'm guessing he's relying on common knowledge of variance here. If you know that variance is always nonnegative, and you also know that variance can be defined as (mean square - square of the mean), then it's obvious.