It's been a while since I studied this stuff and I screwed up a crucial part of the argument. The larger number isn't guaranteed to be prime. It's either prime or composite. In either case you end up with a prime not in the finite list of primes that follow from the assumption of a largest prime. Here is a link to a good explanation that includes the composite case: