0<=x<=F1+F2 looks like it could be entered “directly” (except use log and divide by log(2)) and would be a convex constraint. But the -F3-F4 is going in the wrong direction for a convex constraint.
0<=x<=F1+F2 looks like it could be entered “directly” (except use log and divide by log(2)) and would be a convex constraint. But the -F3-F4 is going in the wrong direction for a convex constraint.