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
Fig. 1. Le curve in tratteggio sono i grafici di f1(x)=2(1-cos x) e f2(x)=xsin x. La curva in blue è il grafico della somma f1(x)+f2(x), da cui vediamo che tale funzione è un infinitesimo dello stesso ordine di f1 e f2. La curva in rosso, invece, è il grafico della differenza, e vediamo che si tratta di un infinitesimo di ordine superiore a f1 e f2..
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: