Let n=p1α1⋯psαs. We define Ω(n)=α1+⋯+αs.
Lemma 1. d(n)≤2Ω(n)
Proof.
∀1≤i≤s:2αi≥αi+1⟹2Ω(n)≥d(n)
We denote prime numbers less than 1402 as q1,…,ql and the rest of the prime numbers as p1<p2<…. We choose n=q1α⋯qlαp1⋯pk where α,k will be determined later.
Suppose α is large enough such that
∀1≤t≤l, i≤1402:vqt(i)<α
To do so we restrict α>log21402. Now if for a prime number like q and a number less than 1402 like i we have q∣i then q∈{q1,…,ql} so q∣in. Thus gcd(i,in±1)=1.
d(n±i)=d(i)d(in±1)≤1402⋅2Ω(in±1)≤1402⋅2logpk+1(in±1)≤1402⋅2logpk+1(n+1)
It is enough to show that
(α+1)l×2k>1401×1402×2logpk+1(n+1)
By adding the condition to the choice of α that (α+1)l>1401×1402 it remains to prove k≥logpk+1(n+1).
⟺pk+1k>q1α⋯qlαp1⋯pk
We may choose k such that pk>q1α⋯qlα. This ends the proof.
We shall indeed prove that for all k,m there is a positive integer n>1 such that d(n±i)d(n)>m, i=1,…,k. Let C=max{d(1),…,d(k)} and let s be a positive integer such that 2s−1>Cm. Let pi be the i-th prime number, chose a positive integer l such that ps+l>k!p1…ps. Taking n=k!p1…ps+l then n±i for all i=1,…,k is greater than i and is also divisible by i. Then, for all i=1,…,k;
n±i=iq1α1…qrαr,
Where q1<⋯<qr be prime numbers. Thus,
n±i=i(ik!p1…ps+l±1).
That is, in±i are divisible by primes greater than p1,…,ps+l. Therefore, q1>ps+l>k!p1…ps that is, q1>1+k!p1…ps hence, pk+1…pl+s<q1s. Thus,
q1s+1>k!p1…ps+q1s=n+q1s>n+q1≥n+k.
Yielding q1l+1>n±i. That is, q1l+1>q1α1…qrαr≥q1α1+⋯+αr.
Then, l+1>α1+⋯+αr≥r to find l+1+r>(1+α1)+⋯+(1+αr).
Hence,
d(n±i)=d(i)(1+α1)+⋯+(1+αr)≤C(r(1+α1)+⋯+(1+αr))r<C(rl+1+r)r
Finally, (1+rl+1)r<(1+l+1l+1)l+1=2l+1. Yielding d(n±i)<C⋅2l+1. Since d(n)>2s+1 we find that
d(n±i)d(n)>C2s−1>m.