黎曼猜想
他用至今仍未證出的黎曼猜想來證明上式。