Let $a_i$ be distinct positive integers; prove that $$(a_1^7+a_2^7+\cdots + a_n^7)+(a_1^5+a_2^5+\cdots +a_n^5)\ge 2(a_1^3+a_2^3+\cdots + a_n^3)^2$$
I tried using some well known inequalities; obviously, since non homogenous and no obvious function, I don't expect either of AGM, Muirhead, CS, Jensen, Karamata, etc. should work, though I might be woefully wrong. After a while of experimentation I realized that this problem would likely be solved by either some tricky manipulations or a very obscure named inequality. Any helps? Thanks!