OFFSET
1,1
PROG
(PARI) isok(n) = numdiv(n)<numdiv(n+1) && numdiv(n+1)<numdiv(n+2) && numdiv(n+2)<numdiv(n+3) && numdiv(n+3)<numdiv(n+4);
CROSSREFS
KEYWORD
nonn
AUTHOR
Seiichi Manyama, Aug 04 2023
STATUS
approved