> k:=n->sum((binomial(-1/2,k)*(-1)^k)/((2*k+1)*2^(2*k+1)),k=0..n);

> k(3);

> a3:=evalf(6*k(3));

> l:=n->6*k(n);

> eval(l(1));

> evalf(l(1));

> eval(l(2));

> evalf(l(2));

> eval(l(3));

> evalf(l(3));

> evalf(l(4));

> eval(l(4));

> b:=evalf(l(10));

> c:=evalf(l(100));

> d:=evalf(l(20));

> evalf(Pi-b);

> evalf(Pi-c);

> evalf(Pi-d);

>