From: Victor Bapst on
Hello everyone,

here is a little problem I have.
Let u_n bet a superadditive sequence, that is

u_(n+m) >= u_m + u_n
for all n,m

it is quite easy to show that : lim n-> infty u_n/n = sup_n u_n/n
exists. Let denote L this limit.

Now I want to show that :

L = lim m-> infty lim_inf n-> infty (u_(m+n) - u_n)/m


May anyone help me ?

Thank you very much !

victor