“…Also, since f is lower bounded by some affine function, the function u is bounded from above by a function of the form x → e|x| + e , for some e, e 0. Therefore, if t n → 0, then t n u(∇h * tn (x)) → 0 and so, taking the limit in (18), one easily gets that sees that f (∇h * tn (x)) → f (∇h * (x)) and so, by definition of u, u(∇h * tn (x)) → u(∇h * (x)) as n → +∞. Taking the limit in (16) and (17) gives (14) as above.…”