Error debugging formula in maximize

As @Michal_Adamaszek has shown in Writing x*log(1+x/y)

x*log(1+x/y) = rel_entr(x+y,y)+rel_entr(y,x+y) with x > 0, y > 0.

I haven’t looked at your objective function carefully enough to see the scope of all the parentheses, but I think you might be able to put it in this form. You better hope that is not the case, because that expression would be convex, which you can’;t maximize in CVX. That is, unless to get it in this form, you divide by something negative, which would make the objective function concave, which could be maximized in CVX.

Have you proven the objective function is concave?