TUYMAADA 2019 J4
A quota of diplomas at the All-Russian Olympiad should be strictly less than . More than students took part in the olympiad. After the olympiad the Authorities declared the results low because the quota of diplomas was significantly less than . The Jury responded that the quota was already maximum possible on this olympiad or any other olympiad with smaller number of participants. Then the Authorities ordered to increase the number of participants for the next olympiad so that the quota of diplomas became at least two times closer to . Prove that the number of participants should be at least doubled.
Dataset text AI-MO AoPS. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.