Poniższa nierówność zawiera w sobie wszystko:
gdzie ⌊ • ⌋ oznacza funkcję podłoga, a mod to operacja modulo.
Jest to wzór Tuppera, wymyślony przez Jeffa Tuppera – i mówiąc w skrócie – wykres tej nierówności zawiera wszystkie możliwe obrazy o wymiarach 106 x 17 pikseli, w tym także zapis samej funkcji.