How do we know there are way more irrational numbers than rational (and nature of infinity: countable vs. uncountable)?