Let ε>0ε>0 and, for an odd prime pp, set Sℓ(p):=∑n≤ℓ(np).Sℓ(p):=n≤ℓ∑(pn). Define the first-passage time fε(p):=min{ℓ≥1: Sℓ(p)<εℓ}.fε(p):=min{ℓ≥1: Sℓ(p)<εℓ}. We prove that there exists a constant cε>0cε>0 such that, as x→∞x→∞, ∑p≤xfε(p)∼cεxlogx.p≤x∑fε(p)∼cεlogxx.
生成讲解博客的中文版本
生成AI智能校验的中文版本