How do we know that irrational numbers never settle into a pattern? Do we just assume it or is there any kind of proof?