[math-fun] Power-mean conjectures