cp's OEIS Frontend

Also a(n) is the least positive integer in A364462 that is divisible by prime(n).

This sequence is strictly increasing for n > 1.

Proof by contradiction:

Suppose a(n) >= a(n+1) = prime(n + 1) * prime(m) * prime(n + 1 - m) for some 1 <= m < n + 1. Then, as prime(n + 1) > prime(n) and prime(n + 1 - m) > prime(n - m) we have a(n) >= a(n+1) = prime(n + 1) * prime(m) * prime(n + 1 - m) > prime(n) * prime(m) * prime(n - m) >= a(n). A contradiction.

We contradicted a(n) >= a(n + 1) for n > 1. Therefore for n > 1 we have a(n) < a(n + 1). a(1) = a(2) because prime(0) does not exist.

This sequence could help in finding terms for A365280. Once an upper bound is chosen for a search, one could find the largest prime factor that could part of the product prime(m)*prime(t)*prime(m+t) <= u. This way for any prime p > prime(m+t) we do not need to compute primepi(p) saving a bunch of time in checking if a term is in A364462.