キーワードBanach space of bounded harmonic functions