ディリクリ汎関数は凸