ディリクレ汎関数は非負だから下限はあるだろうけど、どんな境界値:関数空間を考えるんだろう