cp's OEIS Frontend

Conjecture: with the requirement that the prime factorization of each term is written so that the primes are ordered from smallest to largest, the sequence is the lexicographically earliest infinite sequence of distinct positive numbers such that gpf(a(n-1)) * lpf(a(n)) = |a(n) - a(n-1)|, where gpf(k) = A006530(k) = greatest prime factor of k and lpf(k) = A020639(k) = least prime factor of k. In this way the sequence is the ordered prime factorization version of the 'Commas sequence', A121805. One can show that, for such a sequence to be infinite, no odd number can appear. Although for many terms a lower even number can be chosen for the following term, which can lead to even lower numbers for further terms, it is conjectured all such choices will ultimately halt the sequence as a number is eventually reached for which no unused next number exists which follows the required rule for the difference between the terms. Therefore all terms must be larger than the previous, and the earliest such infinite sequence is the given sequence.

See A367465 for the sequence when the requirement that the primes in the factorization of each term must be in order is removed.