This post has moved to /riemann.html.