Proposizione
Assegnate le funzioni f1(x),...,f_{n}(x) tali che
si ha
essendo α l'ordine di infinitesimo di f(x). In altri termini, l'ordine del prodotto di n infinitesimi è pari alla somma degli ordini dei singoli fattori. Dimostrazione
Abbiamo
In altri termini gli infinitesimi f1(x),...,fn(x) hanno tutti ordine diverso. Ciò implica il seguente corollario: Corollario
La somma di n infinitesimi dello stesso ordine α è un infinitesimo di ordine non minore di α. Dimostrazione
Siano f1(x),...,fn(x) infinitesimi in x0, per cui: