@gjm Thanks! It’s annoying that conventional search engines have deteriorated to the point where they apparently can’t find anyone else even mentioning this formula, but I’ll set aside my robot allergy and focus on the human-written paper itself, and take that as confirmation that I didn’t screw up the calculation.