Re: [math-fun] Power-mean conjectures