IMO 1982 LL AUS1

It is well known that the binomial coefficients

IMO 1982 LL AUS1

Origin: AUS

Problem

It is well known that the binomial coefficients n k 

n! k!(n−k)!, 0 \leqk \leqn, are positive integers. The factorial n! is defined inductively by 0! = 1, n! = n \cdot (n −1)! for n \geq1. (a) Prove that n+1 2n n  is an integer for n \geq0. (b) Given a positive integer k, determine the smallest integer Ck with the property that Ck n+k+1  2n n+k  is an integer for all n \geqk.