0892132人目の素数さん垢版 | 大砲2018/11/19(月) 10:04:46.71ID:Merao6vt >>879 右辺は甘かったか…。 >>881 > log(k) > ∫[k-1/2,k+1/2] log(x)dx これは明らかなんですか?