Question: Declare Variable Domain

Hello,

I currently have

And was wondering if there's a way to declare x as a real so that this evaluates to 1?

Please Wait...