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...