∀n,m a[n]+a[m]≧a[n+m]を満たす正の実数列a[1],a[2],a[3],…は
lim[n→∞]a[n]/n=inf{a[n]/n}を満たす事を証明せよ。（infは下限を表す）