We define the Redheffer matrix $H_n$ and its characteristic polynomial $\chi_n$. We denote $\log_2$ the logarithm function in base 2.
Finally, show that $H_n$ has 1 as an eigenvalue and that its multiplicity is exactly
$$n - \lfloor \log_2 n \rfloor - 1.$$