複素平面内の閉領域D = { z∈C| Imz≧0} の上で定義された
複素数値有界連続関数f(z) が，Dの内部で正則であり，
D の境界の上で実数値をとるものとする．
このとき，fは定数関数であることを示せ．