비르팅거 부등식 (2-형식)