MathDB
Gint and c

Source: Indian RMO 2003 Problem 2

October 27, 2005
induction

Problem Statement

If nn is an integer greater than 77, prove that (n7)−[n7]{n \choose 7} - \left[ \frac{n}{7} \right] is divisible by 77.
Back to ProblemsView on AoPS