reverse triangle inequality