> may it happen that the efficiency gains decrease demand

https://en.wikipedia.org/wiki/Jevons_paradox