Version 1. Let n be a positive integer, and set N=2n. Determine the smallest real number an such that, for all real x,
N2x2N+1⩽an(x−1)2+x.
Version 2. For every positive integer N, determine the smallest real number bN such that, for all real x,
N2x2N+1⩽bN(x−1)2+x. algebraIMO ShortlistInequalityIMO Shortlist 2020