Неизвестный араб из Аалто,
Что же он вчера доказал-то?
Отрицал разумность он дзеты,
И пятёрку писал так и эдак,
Неизвестный араб из Аалто.

ζ(5) is irrational и верификация в lean (спасибо Дмитрию Рыбину) Комментарии от профессора Калегари.

Нелюдимый араб из Аалто
вызвал в твиттере бурю гевалта:
отвечай, — говорят, —
разъясни сей аят!
Кто тебе это всё доказал-то?
(вариация от Феди П.)