Sequence density

Stream: Is there code for X?

[Yaël Dillies]

Do we have anything close to lower/upper natural and logarithmic densities? Bhavik and I are surveying how hard Behrend sequences and Davenport-Erdős would be.

[Bhavik Mehta]

We have a quick definition of upper natural density in the unit-fractions project with not much API yet. Essentially all of these should be thin wrappers around limsup/liminf