Oka's lemma


In mathematics, Oka's lemma, proved by Kiyoshi Oka, states that in a domain of holomorphy in Cn, the function –log d is plurisubharmonic, where d is the distance to the boundary. This property shows that the domain is pseudoconvex.