Is the constraint expressed following right?

1

I want to express the constraint like
A*x*log2(1+B/x)>=S,
where x is a variable.
I express it like this
-A*rel_entr(x,x+B)/log(2)>=S.
Is it right?
Thank you.

2

Yes, that is correct.

3

Thank you very much for your response.