@sxpmaths where's that from? Looks like a good companion to lkozma.net/inequalities_c…