fundamental triangle inequality, equivalent form, improvement, Garfunkel-Bankoff inequality, Leuenberger's inequality