For n⩾2, let σ(1),σ(2),⋯,σ(n) be a permutation of 1,2,⋯,n, and satisfy 0⩽aσ(1)<aσ(2)<⋯<aσ(n)⩽c, then
c⩾aσ(n)−aσ(1)⩾(aσ(n)−aσ(n−1))+(aσ(n−1)−aσ(n−2))+⋯+(aσ(2)−aσ(1))⩾σ(n)+σ(n−1)1+σ(n−1)+σ(n−2)1+⋯+σ(2)+σ(1)1
By the Cauchy-Schwarz inequality
[σ(n)+σ(n−1)1+σ(n−1)+σ(n−2)1+⋯+σ(2)+σ(1)1][(σ(n)+σ(n−1))+(σ(n−1)+σ(n−2))+⋯+(σ(2)+σ(1))]⩾(n−1)2
we get
c⩾2[σ(1)+σ(2)+⋯+σ(n−1)+σ(n)]−σ(1)−σ(n)(n−1)2=n(n+1)−σ(1)−σ(n)(n−1)2⩾n(n+1)−3(n−1)2⩾n+3n−1=1−n+34
for all positive integers n⩾2, hence it must be that c⩾1.