Prove and Explain Tsirelson's bound