Can terminal states be bounds rather than equalities?

I just wanted to ask, I can’t find it in the manual so don’t want to use them if it will cause something strange to happen. Can I use terminal states with two inequalities rather than an equality?
For example can I say that x(N) <= 5, and x(N) >= 4, where N is the final discretization node, to solve a given problem to a terminal state (x) that is between 4 and 5?

Why is this a cvx issue? cvx does not care whether you do one or the other.

Only you can know whether the inequality model make sense.

I was just wondering if this was suitable for CVX to understand, not whether the inequality model makes sense.

Clearly in cvx then

4<= x
x <=5

is valid. Why should it not be case I wonder.

You can write it as
4 <= x(N) <= 5

or as

4 <= x(N)
x(N) <= 5

Thank you both for your replies, especially for the clean code Mark.