### Inequality with powers

Hi,

I wanted to solve this inequality:

```
assume(x, 'integer')
solve(2^(x-1)
```~~< ~~> 10^4, x, to_poly_solve=True, explicit_solutions=True)

I was expecting something like

```
x>=15
```

or

```
{x > (log(10000) + log(2)) / log(2)}
```

(as geogebra algebra system gives)
But instead I get

```
#0: solve_rat_ineq(ineq=2^(_SAGE_VAR_x-1) < 10000)
[[-2^x + 20000 > 0]]
```

What's wrong? Thank you.