Consider with coordinates . We take
, and consider the plurisubharmonic function
on , and on . Take local extensions
|
|
|
of .
We resolve the singularities of by the blowup of the origin
. In this case , and with
|
|
|
Then
|
|
|
In this case, we have
|
|
|
Clearly contains an open neighborhood of .
Thus, it suffices to show that the set
|
|
|
contains an open neighborhood of . This is clear,
for any .