MathDB
P (k) >= \bin{2k - 1}{k}^2 , no of 4k digits numbers from 0,2 divisible by 2020

Source: 2020 Czech and Slovak Olympiad III A p6

November 24, 2020
inequalitiesBinomialnumber theorydivisible

Problem Statement

For each positive integer kk, denote by P(k)P (k) the number of all positive integers 4k4k-digit numbers which can be composed of the digits 2,02, 0 and which are divisible by the number 20202 020. Prove the inequality P(k)(2k1k)2P (k) \ge \binom{2k - 1}{k}^2 and determine all kk for which equality occurs.
(Note: A positive integer cannot begin with a digit of 00.)
(Jaromir Simsa)