This is a fact. The number of miners will decrease for many reasons, and will it increase over time? I doubt.