43.30 카루시-쿤-터커(KKT) 조건의 유도와 최적성 판정