Illegal operation: {log-concave} - {real constant}

That looks rather complicated, and I don’t even know what all the things in it are.

Nevertheless, is the problem convex? I don’t see how the left-most inequality of the 2nd constraint is convex. I don’t know exactly what that | | means here, but 1 <= it doesn’t seem like it would be convex.

Please see the standards for convexity proof described in this link.