令 q=max1≤i≤saii,aℓ/ℓ=qq=\max_{1\le i\le s}\frac{a_i}{i},\qquad a_\ell/\ell=qq=max1≤i≤siai,aℓ/ℓ=q,其中 ℓ\ellℓ 是达到最大值的下标。于是 1≤ℓ≤s1\le\ell\le s1≤ℓ≤s,且对所有 1≤i≤s1\le i\le s1≤i≤s 都有 ai≤qia_i\le qiai≤qi。