1000*(sum from 0 to infinity of ((-1)%5Ex)(1%2F(4%5Ex)))