OFFSET
1,1
COMMENTS
Conjecture: This sequence has just 22 terms shown.
Sequence is finite and complete. Since pi(x) < 1.25506*x/log(x), it follows that for x > 106, pi(5*x) < x + 5. - Chai Wah Wu, May 01 2018, May 14 2020.
FORMULA
pi(5*a(n)) = a(n) + 5.
EXAMPLE
9 is a term since pi(5*9) = 14 = 9 + 5, and pi(m*9) = 9 + m for no m < 5.
CROSSREFS
KEYWORD
nonn,fini,full
AUTHOR
Seiichi Manyama, Jan 17 2017
STATUS
approved