Определение единицы в четыре терабайта

'Бурбаки предполагал, что для его определения числа 1 будет достаточно нескольких десятков тысяч символов. Мы показали, что эта оценка существенно занижена, поскольку необходимое количество символов равно 4 523 659 424 929, не включая 1 179 618 517 981 ссылок для устранения неоднозначностей (disambiguatory links).'

http://blog.rudnyi.ru/ru/2015/04/k-matematike.html