The classical Hadamard three circle theorem is generalized to complete Kähler manifolds. More precisely, we show that the nonnegativity of the holomorphic sectional curvature is a necessary and sufficient condition for the three circle theorem. As corollaries, two sharp monotonicity formulae for holomorphic functions are derived. Among applications, we derive sharp dimension estimates (with rigidity) of holomorphic functions with polynomial growth when the holomorphic sectional curvature is nonnegative. When the bisectional curvature is nonnegative, this was due to Ni. Also we study holomorphic functions with polynomial growth near infinity. On a complete noncompact Kähler manifold with nonnegative bisectional curvature, we prove any holomorphic function with polynomial growth is homogenous at infinity. This result is closely related with Yau's conjecture on the finite generation of holomorphic functions (see page 3 − 4 for detailed explanation).We also generalize the three circle theorem to Kähler manifolds with holomorphic sectional curvature lower bound. These inequalities are sharp in general. As applications, we establish sharp dimension estimates for holomorphic functions with certain growth conditions when the holomorphic sectional curvature is asymptotically nonnegative.Finally observe that Hitchin constructed some complex manifolds which admit Kähler metric with positive holomorphic sectional curvature, yet do not even admit Kähler metrics with nonnegative Ricci curvature. Thus the set of complete Kähler manifolds with nonnegative holomorphic sectional curvature is strictly wider than those with nonnegative bisectional curvature. r→∞ Vol(B(p,r)) r 2n > 0. In [45], Ni proved a remarkable theorem which confirmed conjecture 3 by assuming the maximal volume growth condition: