I am extremely suspicious of mathematical "proofs" that involve human-related variables. And that's because such proofs always assume that humans will make optimal decisions. But humans are not robots.
As an example, sometimes a leader will choose a less than optimal economic outcome in return for, say, a political advantage. And since the proof did not take politics into account, the proof falls apart.