0004132人目の素数さん垢版 | 大砲2021/09/03(金) 02:10:35.46ID:ks41QVMk Peter Scholazeさんでしょ。 Cf. https://zbmath.org/pdf/07317908.pdf