How the Upper Bound Conjecture Was Proved