Question: Solving Inequations

I'm currently implementing the Poker test to determine whether a binary sequence possesses some specific characteristics that a truly random sequence would be likely to exhibit.

Maple can't solve the inequation `assuming`([solve(floor(160/m)>=5*2^m,[m])],[m::posint]);

However, `assuming`([solve((160/m)>=5*2^m,[m])],[m::posint]); works.

Is there a way to rewrite the first statement so that Maple can solve the following inequation: floor(160/m)>=5*2^m

Many thanks,

Please Wait...