1 : a law used by auditors to identify fictitious populations of numbers; applies to any population of numbers derived from other numbers; "Benford's law holds that 30% of the time the first non-zero digit of a derived number will be 1 and it will be 9 only 4.6% of the time"
