MathLabs

Problem 5

The equation (x−1)(x−2)⋯(x−2016)=(x−1)(x−2)⋯(x−2016)(x-1)(x-2)\cdots(x-2016)=(x-1)(x-2)\cdots(x-2016) is written on the board, with 20162016 linear factors on each side. What is the least possible value of kk for which it is possible to erase exactly kk of these 40324032 linear factors so that at least one factor remains on each side and the resulting equation has no real solutions?
Step 4 of 6: Case 3: far outside, or strictly between two blocks
In plain words

Rewriting the equation as a product of factors each strictly between 00 and 11 makes it impossible for the product to equal 11.

pile:={coins with denominator ≥2k+1}\text{pile}:=\{\text{coins with denominator }\ge 2k+1\}
Detailed analysis

All coins with denominator at least 2k+1=2012k+1=201 have value at most 1/2011/201; collect them in one pile. This includes any surviving coins of denominator 201201, which the previous boxes did not use.