________________ / ____ 5 ____ \/ -11 + 4*\/ 23 [0, - - + \/ 23 + -------------------) 2 2
x in Interval.Ropen(0, -5/2 + sqrt(-11 + 4*sqrt(23))/2 + sqrt(23))
/ ________________\ | / ____ | | 5 ____ \/ -11 + 4*\/ 23 | And|0 <= x, x < - - + \/ 23 + -------------------| \ 2 2 /
(0 <= x)∧(x < -5/2 + sqrt(23) + sqrt(-11 + 4*sqrt(23))/2)