is a mathematical law that applies to any population of numbers derived from other numbers (such as the dollar amount of a sale, found by multiplying the quantity sold times the unit price). It holds that 30% of the time the first non-zero digit of this derived number will be one, and it will be a nine only 4.6% of the time. Benford's law is used by auditors to identify fictitious populations of numbers.