Question: Why can't maple determine whether this expression is true or false?

If i have the line:

S:=Sum( 1/16^k))*(4/(8*k+1)-2/ (8*k+4)-1/ (8*k+5)-1/ (8*k+6)), k=0..m);

 

and i want to establish the first m for which |Pi-Sm|<= 10^(-8)

when putting it into a while loop i get the error message that it cannot determine whether the expression is true or false:

while (Pi-S <= 10^(-8)) do

od;

 

etc,

 

what am i doing wrong here?

Please Wait...