デデキントのイータ関数
である。また、