On: Ninth Dedekind number discovered: long-known probl...

[Someone]

That sequence is infinite. So, the next to fall most likely is D(10), then D(11), etc.

I added “most likely” because I cannot rule out some mathematical result that makes it easier to compute some values for larger n.