The sum of squared logarithms inequality in arbitrary dimensions

We prove the sum of squared logarithms inequality (SSLI) which states that for nonnegative vectors x,y∈Rn whose elementary symmetric polynomials satisfy ek(x)≤ek(y) (for 1≤k