a*log(1+b/a)>c
a,b,c are all positive variables,can this constraint be expressed in CVX?
-rel_entr(a,a+b) >= c
CVX will treat > as being >=. So if you need strict inequality, you should change it to -rel_entr(a,a+b) >= c + small_positive_number, where small_positive_number is perhaps 1e-5 or 1e-6.