In case people aren't aware, the inequality of these specific four means is a special case of the more general power mean inequality: https://en.wikipedia.org/wiki/Generalized_mean#Generalized_m...