Die kleine o-Notation beschreibt eine echte asymptotische Obergrenze: wächst strikt langsamer als .
Eine Funktion ist in , wenn für jede positive Konstante ein existiert, so dass für alle gilt:
$$ f(n) < c \cdot g(n) $$Das bedeutet, dass asymptotisch kleiner ist als , was bedeutet, dass die dominierende Funktion ist.
Wenn und , dann ist , denn .