Total variation distance triangle inequality