Derivation of the time-dependent purchases of a company aware of future environmental damage

Here is a little theorem; it does what it says in the title.