[Mano]

I think we are saying the same thing - I probably could have worded the end of the proof better, as you did - I held onto the assumption of the primes being bounded for one more step. Assuming there is a largest prime leads to a contradiction either way through my reasoning above.