Negligible Function

Definition: Negligible Function

A function \(\mu :\mathbb{N} \to [0,1]\) is negligible if for every polynomial \(p: \mathbb{N} \to \mathbb{N}\) there exists a number \(N \in \mathbb{N}\) such that \(\mu(n) \lt \frac{1}{p(n)}\) for every \(n \gt N\).