power mean, Hardy’s inequality, monotonicity