in reply to Re: [OT] Call to arms for mathematicians:in thread [OT] Call to arms for mathematicians:(Update: please ignore!)
That would be the first formula from Lemma 6.3.