In complex analysis, Liouville's theorem, named after Joseph Liouville, states that every bounded entire function must be constant. That is, every holomorphic function f for which there exists a positive number M such that for all in is constant. Equivalently, non-constant holomorphic functions on have dense images.