Response to Keith Wayland's observation in the last sentence of his letter to H. K. Hodge
Vincent Koehler · ACM SIGSMALL/PC Notes · 1990
This is in response to Keith Wayland's observation in the last sentence of his letter to H. K. Hodge that if N has K non-zero bits in binary form then N! has N-K trailing binary zeros. Here is a proof of that statement, by induction of course.