가변 상한 제약을 가지는 흐름 모형에 대한 유효 부등식