If I understand the change correctly, I think the third term would become 15 (from 16) and the fourth, 25 (from 26). On Dec 5, 2013, at 9:22 AM, M. F. Hasler <oeis at hasler.fr> wrote: > It seems that using "not larger" instead of "smaller" would only > change the first term from 5 to 4.