I avoided phrasing it that way in case we got bogged down with how we're defining terms and what assumptions are reasonable to make. Of course you can't prove the general negative case, but even if you started trying to work with a more concrete economic model, anything realistic enough to be useful would most likely also be too complicated to analyze completely.