Get this: after questioning diamond Jack about a recent answer of his to a
no-effort-PSQ, he writes, in justification: "Subharmonicity is not widely taught and it is an effective technique for tackling similar cyclic-but-not-symmetric inequalities, so I believe there is something to share here, even if the OP did not make efforts."