Imaginez une formule mathématique qui donne comme résultat... elle-même ! C'est la formule autoréférente de Tupper:

où ⌊ ⌋ est la fonction partie entière et mod l'opérateur modulo.

Soit k le nombre de 543 chiffres égal à :
960939379918958884971672962127852754715004339660129306651505519271702802395266 424689642842174350718121267153782770623355993237280874144307891325963941337723 487857735749823926629715517173716995165232890538221612403238855866184013235585 136048828693337902491454229288667081096184496091705183454067827731551705405381 627380967602565625016981482083418783163849115590225610003652351370343874461848 378737238198224849863465033159410054974700593138339226497249461751545728366702 369745461014655997933798537483143786841806593422227898388722980000748404719

Si on trace le graphe de l'ensemble des points (x,y) qui satisfont l'inégalité de Tupper sur la restriction du plan à 0 < x < 106 et k < y < k+17, on obtient le graphe suivant:


Etonnant, non ?

Pour en savoir plus: Wikipédia, Choux Romanesco, vache qui rit et intégrales curvilignes