Hacker News new | ask | show | jobs
by wbl 361 days ago
Are these the same proof?

If I let U_i be the interval of length 1/10^(i) centered on f(i), than what I'm saying is pick a different decimal digit to avoid this particular real.