폐쇄대기네크워크의 부등식과 쌍대모델의 도출