Comment by arunix

I agree that the prime list example is really a constructive proof. But what about the sqrt(2) and log(2) examples?