[seqfan] Re: Lower bounds

[Marc LeBrun]

Yes.


> On Apr 10, 2024, at 8:25 AM, Victor Miller <victorsmiller at gmail.com> wrote:
> 
> In investigating a hard sequence (A303735) I've come up with two other
> sequences, not in the OEIS, which are constructions of lower bounds
> using entropy arguments.  Are they something that should go into the
> OEIS as their own sequences?
> 
> --
> Seqfan Mailing list - http://list.seqfan.eu/