They show up in a few other areas, like probabilistic analysis of algorithms or sketching (e.g. Chernoff bounds and definitely the Cauchy-Schwartz ineq.). But y

They show up in a few other areas, like probabilistic analysis of algorithms or sketching (e.g. Chernoff bounds and definitely the Cauchy-Schwartz ineq.). But you're right, nothing heavyweight like Muirheads has many applications.