In mathematics, the value distribution theory of holomorphic functions is a division of mathematical analysis. The purpose of the theory is to provide quantitative measures of the number of times a function f(z) assumes a value a, as z grows in size, refining the Picard theorem on behaviour close to an essential singularity. The theory exists for analytic functions (and meromorphic functions) of one complex variable z, or of several complex variables.