x - 1 ----- x - 1 x + 1 / ___ \ / ___ \ \\/ 5 + 2/ >= \\/ 5 - 2/
(2 + sqrt(5))^(x - 1) >= (-2 + sqrt(5))^((x - 1)/(x + 1))
/ / / ___\ \\ | | log\-2 + \/ 5 / || Or|And(1 <= x, x < oo), And|-1 + --------------- <= x, x < -1|| | | / ___\ || \ \ log\2 + \/ 5 / //
((1 <= x)∧(x < oo))∨((x < -1)∧(-1 + log(-2 + sqrt(5))/log(2 + sqrt(5)) <= x))
/ ___\ log\-2 + \/ 5 / [-1 + ---------------, -1) U [1, oo) / ___\ log\2 + \/ 5 /
x in Union(Interval(1, oo), Interval.Ropen(-1 + log(-2 + sqrt(5))/log(2 + sqrt(5)), -1))