plot 1-atan(x)*sqr(pi/x) for x from 1 to 20000