ThmDex – An index of mathematical definitions, results, and conjectures.
Proof P3308 on R4825: Bit entropy of a standard bernoulli number is one bit
P3308
This result is a particular case of R4827: Entropy of a standard bernoulli number. $\square$