Názor ke zprávičce Nový rekord výpočtu π od Google od Jimm - Jak se to dá dokázat u čísla, které...

Jak se to dá dokázat u čísla, které není známo? Máte prosím nějaký odkaz, kde se to tvrdí, mimo to, že π je iracionální (ale to je myšleno, než bude prokázán opak)?

Jak můžete už z podstaty dokázat, že se číslo, které neznáte neopakuje?