Definition: Negligible Function A function μ:N→[0,1] is negligible if for every polynomial p:N→N there exists a number N∈N such that μ(n)<p(n)1 for every n>N.