OFFSET
1,2
PROG
(PARI) isA373847(n) = (A373842(n)<=n);
CROSSREFS
KEYWORD
nonn
AUTHOR
Antti Karttunen, Jun 20 2024
STATUS
approved