I don't think there's a formal proof, but the idea has certainly been entertained. The scalability trilemma might be what you're looking for:

https://multicoin.capital/2018/02/23/models-scaling-trustles...