How do we know that irrational numbers exist?

(Send feeback to erik@mathmutation.com)