\\ Exponent of highest 2-power <=n.
t_2 (n) = #binary(n)-1

\\ Highest 2-power<=n.
t_pot2 (n) = 2^t_2(n)