Re: [math-fun] peculiar sequence

David Wilson's assertion that The number of zeroes at the end of n! is equal in bases 10 and 16 iff

0 <= sum of base-5 digits of n - sum of base-2 digits of n <= 3.

has a very sweet proof! I admit I started looking for a counterexample before a proof, but I should have had more faith. I'm omitting the proof because I don't want to spare anyone else the joy of discovery. -- -- http://cube20.org/ -- [ <http://golly.sf.net/>Golly link suppressed; ask me why] --