It would be interesting to see the proof get progressively closer to 2, but more and more difficult each time.