I wonder if there’s even remotely enough phosphorus for that many people.

https://en.wikipedia.org/wiki/Peak_phosphorus