Skip to main content
1 of 2

For large enough $n$ no such set of integers exist. First of all, let us say that $a$ covers prime $p$ if $a$ or $a+1$ is divisible by $p$. Now, if $p$ is a prime with $\frac{n+1}{2}<p\leq n$, $a\leq n$ can cover $p$ only if $a=p$ or $a=p+1$, because otherwise $a\geq 2p-1>n$. Let $p_1,p_2,\ldots,p_m$ be the set of all primes between $\frac{n+1}{2}$ and $n$. By the previous observation, no $a\leq n$ can cover two such primes and all the primes must be covered.

For $1\leq i\leq m$ let $a_i$ be the only number in our set that covers $p_i$ (so $a_i=p_i$ or $p_i-1$). As $\pi(x)=\frac{x}{\ln x}+O\left(\frac{x}{\ln^2 x}\right)$, we have $k=\frac{n}{2\ln n}+O\left(\frac{n}{\ln^2 n}\right)$ and also $m=\pi(n)-\pi((n+1)/2)=\frac{n}{2\ln n}+O\left(\frac{n}{\ln^2 n}\right)$. So, our desired set $a_1,\ldots,a_k$ consists of the numbers $a_i$ with $i\leq m$ and at most $O\left(\frac{n}{\ln^2 n}\right)$ other numbers.

For $1\leq i\leq k$ let $f(i)$ be the number of $p>(n+1)/3$ that are covered by $a_i$. As $a_i$ should cover all primes, we should have

$$ \sum_{1\leq i\leq k} f(i)\geq \pi(n)-\pi((n+1)/3)=\frac{2n}{3\ln n}+O\left(\frac{n}{\ln^2 n}\right). $$

Now, obviously, $f(i)\leq 2$ for all $i$, because otherwise $a_i$ or $a_i+1$ will be divisible by at least two different primes $p>n/3$, which is impossible. Therefore we have

$$ \sum_{1\leq i\leq m} f(i)\geq \frac{2n}{3\ln n}+O\left(\frac{n}{\ln^2 n}\right), $$

as $f(i)=O(1)$ and $k-m=O\left(\frac{n}{\ln^2 n}\right)$. Now, I claim that there are at most $O\left(\frac{n}{\ln^2 n}\right)$ indices $i\leq m$ with $f(i)=2$. Indeed, if $f(i)=2$ then there are two possibilities: either $a_i=p$ and $a_i+1=2q$ with $(n+1)/3<q<(n+1)/2<p\leq n$ or $a_i=2q$ and $a_i+1=p$ with the same conditions. So we either have $p=2q-1$ or $p=2q+1$. But there are $O\left(\frac{n}{\ln^2 n}\right)$ primes $q\leq n$ with either $2q-1$ or $2q+1$ prime, and the claim follows. From this we get

$$ \sum_{1\leq i\leq m} f(i)=m+\#\{i: f(i)=2\}=m+O\left(\frac{n}{\ln^2 n}\right), $$

which is a contradiction, because $m+O\left(\frac{n}{\ln^2 n}\right)\geq \frac{2n}{3\ln n}+O\left(\frac{n}{\ln^2 n}\right)$ cannot hold for large $n$, as $m\sim \frac{n}{2\ln n}$.