returns whether the arguments satisfy the triangle inequality, assuming that they're positive quantities