OFFSET
1,3
CROSSREFS
KEYWORD
nonn,less
AUTHOR
Juri-Stepan Gerasimov, Mar 02 2010
EXTENSIONS
Replaced the 4-fold negation in the definition by a simpler phrase - R. J. Mathar, Mar 05 2010
STATUS
approved