Inequality with powers

edit

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.