Pour tout naturel p, f(p*x)<p*f(x)
donc pour (p,q) appartenant à IN², f(p*x)/f(q*x) < p/q et pour x = y/q , f((p/q)*y)<(p/q)*f(y)
on a donc pour tout a € IR+ f(x*[n*a]/n)<f(x)*[n*a]/n avec [] la partie entière. Si tu passes à la limite,
f(a*x) < a*f(x).