Inequality with powers

asked 2016-11-08 14:44:05 -0600

Romuald_314 gravatar image

updated 2016-11-08 14:45:55 -0600

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.

edit retag flag offensive close merge delete

Comments

Is it so weird so that it's impossible to fix?

Romuald_314 gravatar imageRomuald_314 ( 2016-11-11 15:00:31 -0600 )edit