Je páteční odpoledne, čas nasměrovat Aristotela od Claudeova kódu + @HarmonicMath na náhodný Erdosův problém a zjistit, jestli ho dokážeme + formalizovat