soluzione formale

$\displaystyle f(n) \in o(g(n))$	$\displaystyle \Leftrightarrow$	$\displaystyle \forall k>0 \exists n_0 \mid \forall n \geq n_0, 0 \leq f(n) \leq k g(n)$
	$\displaystyle \Leftrightarrow$	$\displaystyle \forall \frac{1}{h}>0 \exists n_0 \mid \forall n \geq n_0, 0 \leq f(n) \leq \frac{1}{h} g(n)$
	$\displaystyle \Leftrightarrow$	$\displaystyle \forall h>0 \exists n_0 \mid \forall n \geq n_0, 0 \leq hf(n) \leq g(n)$
	$\displaystyle \Leftrightarrow$	$\displaystyle g(n) \in \omega(f(n))$