I don't see why your focal point is on the productivity of miners.

It doesn't matter how many miners are mining, as long as there are still miners. BTC are being generated at the same rate no matter what.