Question: An integral that does not give what I am expecting

Hi all,

> eq1 := Int(f(k, x)^2, x);

                                  /         2       
                                 |      / k\        
                                 |      \x /        
                         eq1 :=  |  ------------- dx
                                 |              2   
                                 |  /     (2 k)\    
                                /   \1 + x     /    

> eq2 := Int(x^(2*k)/(1+x^(2*k))^2, x = 0 .. 1);

                                 /1                 
                                |       (2 k)       
                                |      x            
                        eq2 :=  |   ------------- dx
                                |               2   
                               /0   /     (2 k)\    
                                    \1 + x     /    
> with(IntegrationTools);
> eq3 := `assuming`([Change(eq2, u = x^(2*k), u)], [k::posint]);

                                    /1   / 1 \    
                                   |     |---|    
                                   |     \2 k/    
                                   |    u         
                                   |   -------- du
                                   |          2   
                                  /0   (1 + u)    
                           eq3 := ----------------
                                        2 k       
> `assuming`([value(eq3)], [k::posint]);

                            /[   2 k + 1]  [1 + 4 k]    \
                   hypergeom|[2, -------], [-------], -1|
                            \[     2 k  ]  [  2 k  ]    /
                   --------------------------------------
                                  2 k + 1                
> `assuming`([limit(%, k = infinity)], [k::posint]);

              /         /[   2 k + 1]  [1 + 4 k]    \              \
              |hypergeom|[2, -------], [-------], -1|              |
              |         \[     2 k  ]  [  2 k  ]    /              |
         limit|--------------------------------------, k = infinity|
              \               2 k + 1                              /

I am expecting the limit to be 0.  In Maple 10, I have

> with(student)

>                 /[         /      (2 k)       \]         \

>       `assuming`\[changevar\eq1, x      = u, u/], [0 < k]/

Error, (in assuming) when calling '`student/powsubs`'. Received: 'usage: powsubs(a=b , f ) '

I have the same problem in Maple 6.  What am I doing wrong?

Mario