MathDB

# of 1s in binary representation

Source: Yugoslav TST 1995 P2

May 27, 2021

number theory

Problem Statement

A natural number

n

has exactly

1995

units in its binary representation. Show that

n!

is divisible by

2^{n-1995}