Tsirelson's inequality