How to deal with the constraints "x(2^(1/x) - 1) <= C" via CVX

3

The CVX Users’ Guide is not very clear (i.e., is “wrong”) on the needed syntax for exponential cone constraint.

{ log(2), x, z } == exponential(1) will work.

So altogether what is needed for the constraint is:

variables x z
{ log(2), x, z } == exponential(1)
z - x <= C