D={z in C | Im z ≧ 0}で定義された複素数値有界連続関数fがDの内部で正則であり境界上で実数値をとるとき、fは定数関数であることを示せ。
という問題ができません。
リウビルの定理を使うのかと思うのですが、宜しくお願いします。