It actually varies. When bitcoin was a lot cheaper, people also mined it. I think that bitcoin would always be mined no matter what