Very Long Proofs Azimuth, 28 May 2016 In the 1980s, the mathematician Ronald Graham asked if it’s possible to color each positive integer either red or blue, so…