More people does not necessarily mean more laborers. It also means more consumers. Without more consumers we humans would not be incentivized to mine so much. Without the need to mine so much engineers would not have invented more efficient ways to mine. So on and so forth...
More people does not necessarily mean more laborers. It also means more consumers. Without more consumers we humans would not be incentivized to mine so much. Without the need to mine so much engineers would not have invented more efficient ways to mine. So on and so forth...