symmetric function, symmetric mean, inequality, elementary proof