ここでのformula_9はformula_10のリプシッツ定数である。