Generalising a triangle inequality. Issue 555 (17th October 2018)