Between any two distinct irrational numbers, there always exists:
Only irrational numbers
At least one rational number
No real numbers
Exactly one integer