\(\max _\Sigma K_e -c \leq 0\) max Σ K e c 0 , \max _\Sigma K_e -c \leq 0,