limit of cos(pi/x) as x goes to 0