Conjecture - no natural number $k$ exists such that:

1. $P$ is the sequence of all primes starting from the $k$th prime

2. $A$ is a sequence of natural numbers such that:

• $\forall n : A_n<P_n<A_{n+1}$

• $\forall n : F(A_n) \leq F(A_{n+1})$, where $F(x)$ is the number of primes in the factorization of $x$

Take $k=3$ for example:

• $P=5,7,11,13,17,19,\dots$
• Here, because of $11$ and $13$, we must use $12 \in A$
• Then, because $F(12)=3$, we must use $16 \in A$
• Then, because of $17$ and $19$, we must use $18 \in A$
• But $F(18)<F(16)$, so we are unable to define $A$

How can I go about proving this conjecture?

The only lead I have on it, is that the sequence $A$ must include the "mid value" of every pair of twin primes (starting from the $k$th prime).

Thanks