Hi.
Quick question from someone new to this universe. If the exchange rate BTC USD falls to say, 1BTC = 10 USD, presumably some people already in the BitCoin ecosystem would give up adding hash power, maybe even pull out of the whole enterprise. In this case of less hashing power at the margin, what would happen to the rate of increase of the difficulty? I think the difficulty number itself would not fall, but I´m not sure.
Thanks.