2 1 - - 2 - - + 2 > 2 a a
-2 + 2/a - 1/a + 2 > 2
And(0 < a, a < 1/2)
(0 < a)∧(a < 1/2)
(0, 1/2)
x in Interval.open(0, 1/2)