0, 1, 1, 2, 2, 2, 3, 3, 4, 4, 5, 5, 6, 6, 6, 7, 7, 8, 8, 9, 9, 9, 10, 10, 11, 11, 11, 12, 12, 13, 13 ceiling(3n/7) is referenced as Kelly and Moser's lower bound for A003034, but is not itself a seq, xref-ing to A003034. Should it be?