x2 2/13 - 1 > 1
(2/13)^x2 - 1 > 1
log(2) x2 < --------- log(2/13)
x2 < log(2)/log(2/13)
log(2) (-oo, ---------) log(2/13)
x in Interval.open(-oo, log(2)/log(2/13))