domain(open connected set) $\Omega \subset \mathbb R^n$에서 정의된 함수 $u \in C^2(\Omega)$ 가 $\Delta u \geq0$ 를 만족하고 $u(y) = \sup_{\Omega}u$ 를 만족하는 $y \in \Omega$가 존재하면 $u$는 상수함수이다.-증명step 1우선 $y \in \Omega_M$이므로 $\Omega_M$은 nonempty이다.step 2 다음으로 $\Omega_M = u^{-1}({M})$ 이고 $u$는 연속이므로 $\Omega_M$는 $\Omega$에 대해 closed set 이다.step 3정의로부터 $u-M \leq 0$ 이고, $-\Delta (u-M) = -\Delta \leq 0$ 이다. 또한 step1 로부터..