分配関数がゼータ関数に一致するって不思議だな。どういうこと?