Problem 2

Part of 1995 Yugoslav Team Selection Test

Problems(1)

# of 1s in binary representation

Source: Yugoslav TST 1995 P2

A natural number

n

1995

units in its binary representation. Show that

n!

is divisible by

2^{n-1995}