Неизвестный араб из Аалто,

Что же он вчера доказал-то?

Отрицал разумность он дзеты,

И пятёрку писал так и эдак,

Неизвестный араб из Аалто.

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

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