Question: about "is" command

In my maple 16 the following is returning FAIL. Why ? and what is the correct way to do the following.

restart:

assume(n::posint):

is(n^2<=2^n);

 

Regards!

Please Wait...