It's not much easier to prove it. But when you can quickly compute the first few billion digits, you can just look for repetitions and conjecture that a number is rational.