0334132人目の素数さん垢版 | 大砲2017/11/22(水) 12:39:34.60ID:XxzuuRWx >>322 補題1は g_i(t)=(1/π)log|1-(r_i)/t| ∫(-∞,∞)g_i(t)g_j(t)dt= min{r_i,r_j} からも出る。 森口・宇田川・一松「数学公式I」岩波全書221(1956)p.242 >>323 ageるな危険