In mathematics, Oka's lemma, proved by Kiyoshi Oka, states that in a domain of holomorphy in Cn, the function –log d(z) is plurisubharmonic, where d is the distance to the boundary. This property shows that the domain is pseudoconvex.
References
Oka's lemma Wikipedia(Text) CC BY-SA