Note that this difference, $ {(p - q)^2\over 4} $, is zero if $ p=q
$ and positive for all other choices of $ p $ and $ q $. So if the
numbers are equal then the mean of the squares is equal to the
square of the mean. Otherwise the mean of the squares is greater
than the square of the mean.