|x - 1| + |x + 1| > 4*x + 1
And(-oo < x, x < 1/4)
(-oo < x)∧(x < 1/4)
(-oo, 1/4)
x in Interval.open(-oo, 1/4)