extrema [//math:(16 - 3a - b)^2 + (12 - 2a - b)^2 + (9 - a - b)^2//] subject to [//math:4 <= a//]