Кое-что про 2026

Есть у нас на работе гениальный математик, зовут Gwangho. Я спросил его какую-нибудь интересную формулу про 2026. Он придумал такое.

Определим функцию как количество двоичных разрядов, необходимых для представления числа n, или .

Тогда имеем: