Solution of basic inequality: [min((a+1)*(b+2))]Invalid quadratic form(s): not a square

The objective and last constraint are both non-convex. The solution you mention is indeed correct, but is outside of CVX’s scope.