OFFSET
0,3
COMMENTS
The first point where the sequence is nonmonotonic is the dip from a(80) = 535 to a(81) = 523.
LINKS
Antti Karttunen, Table of n, a(n) for n = 0..10001
FORMULA
KEYWORD
nonn
AUTHOR
Antti Karttunen, Nov 29 2015
STATUS
approved