Is there a mathematical proof that shows that blockchain converges to the longest chain? It seems not obvious to me how a scattered group of nodes and transaction signals will eventually converge to a single longest chain under the Proof of Work/Stake/etc.
Thank you!!!