尚、formula_9はベルヌーイ数である。