ceiling(3n/7) is referenced as a lower bound for A003034

[Maximilian Hasler]

I think if ceil(3n/7) would be there, then any other ceil(an/b) has
the same right and would eventually be entered...

I understand that your point is that this fct. is referenced to in a
nontrivial sequence, but personally I don't think that this justifies
to add auch a quite trivial sequence with somehow "arbitrary
coefficients" (even though not very large...).

in addition, it is already there, since equivalent (at first glance, I
may err) to
A057357(n+2)

Maximilian

On Sat, Jul 5, 2008 at 14:01, Jonathan Post <jvospost3 at gmail.com> wrote:
> 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?
>