# McEliece's Theorem (Integer Functions)/Historical Note

Donald E. Knuth reports in The Art of Computer Programming that this generalisation of Conditions for $\left\lfloor{\log_b x}\right\rfloor$ to equal $\left\lfloor{\log_b \left\lfloor{x}\right\rfloor}\right\rfloor$ was established by Robert James McEliece.
Whiile this name for it is not backed up in the literature, it is convenient for $\mathsf{Pr} \infty \mathsf{fWiki}$, because of its unwieldy nature, to refer to it thus.