A superlinear function has a convex superlinear minorant
ID: a-superlinear-function-has-a-convex-superlinear-minorant
Choose increasing so whenever . Put for . This is nonnegative, increasing and convex. If terms are active, then for . For every fixed , gives , proving superlinearity. Thus a nonconvex superlinear energy lower bound still supplies the convex function needed in the De la Vallée-Poussin criterion. A continuous superlinear function not initially nonnegative can first have its finite global minimum subtracted.
New to topics? Read the docs here!