The answer is YES.
From the definition of ω and Ω, we have
ω(ab)≤ω(a)+ω(b),1◯
Ω(ab)=Ω(a)+Ω(b),2◯
for any positive integers a,b. Given a fixed positive integer k and positive real numbers α,β, we take a positive integer m>(ω(k)+1)α. As there are infinitely many prime numbers, we can take a sufficiently large prime p such that pmΩ(k)+1+logp2<β, and take m pairwise distinct prime numbers q1,q2,…,qm that are all greater than p. We will show that n=2q1q2⋯qmk has the desired property.
First, we prove ω(n)ω(n+k)>α. Let n1=kn+k=2q1q2⋯qm+1. As q1,q2,…,qm are all odd prime numbers, 2qi+1∣n1 when 1≤i≤m, then di=32qi+1 is an integer greater than 1.
Note that
(2r−1,2s−1)=2(r,s)−1 for all positive integers r,s, ③
and (qi,qj)=1 (i=j), we have
(di,dj)=31(2qi+1,2qj+1)≤31(22qi−1,22qj−1)=32(2qi,2qj)−1=322−1=1.
d1,d2,…,dm are the pairwise coprime factors of n1, and each of them is greater than 1. Hence, ω(n1)≥m. From ① and the choice of m, we have
ω(n)ω(n+k)≥ω(n)ω(n1)≥ω(k)+1ω(n1)≥ω(k)+1m>α.
Next, we prove Ω(n)Ω(n+k)<β. As q1q2⋯qm is an odd number and cannot be divided by 3, we have n1=2q1q2⋯qm+1≡±3(mod9), that is, 3∤n1. Suppose q is a prime factor of 3n1 and q≤p, then
22q1q2⋯qm−1=(2q1q2⋯qm−1)⋅n1≡0(modq).
From the Fermat's Little Theorem, 2q−1≡1(modq). From ③, q∣2(2q1q2⋯qm,q−1)−1. From (q−1,2q1q2⋯qm)=(q−1,2)≤2,q−1<p<qi (i=1,2,…,m), hence q∣22−1,q=3. This contradicts that 3n1 is not a multiple of 3. Therefore, each prime factor of 3n1 is larger than p. So 3n1>pΩ(n1/3). From ② and the choice of primes p and q1,q2,…,qm, we have
Ω(n+k)=Ω(k)+Ω(3)+Ω(3n1)<Ω(k)+1+logp(3n1)<Ω(k)+1+logp(n1−1)=Ω(k)+1+q1q2⋯qmlogp2,
\frac{\Omega(n+k)}{\Omega(n)} < \frac{\Omega(k) + 1 + q_1 q_2 \cdots q_m \log_p 2}{q_1 q_2 \cdots q_m} < \frac{\Omega(k) + 1}{p^m} + \log_p 2 < \beta. \quad \square