MathDB
Don't overthink it (BAMO)

Source:

June 8, 2019
number theory

Problem Statement

Prove that among any 1212 consecutive positive integers there is at least one which is smaller than the sum of its proper divisors. (The proper divisors of a positive integer n are all positive integers other than 11 and nn which divide nn. For example, the proper divisors of 1414 are 22 and 77.)