McEliece's Theorem (Integer Functions)/Historical Note

== Historical Note on Conditions for $\left \lfloor{f \left({x}\right)}\right \rfloor = \left \lfloor{f \left({\left \lfloor{x}\right \rfloor}\right)}\right \rfloor$ and $\left \lceil{f \left({x}\right)}\right \rceil = \left \lceil{f \left({\left \lceil{x}\right \rceil}\right)}\right \rceil$ == reports in 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.

He refers to it (in passing) as McEliece's Theorem, but this name for it is not backed up in the literature, and is no doubt being called that for local convenience.