Euler hade visat att ζ(s) = Π (1–p^–s)^–1, där produkten tas över alla primtal, vilket förklarar funktionens talteoretiska betydelse. Bernhard Riemann visade år 1859 att funktionen kan definieras för komplexa s så att man får en meromorf funktion med en enda pol