[math-fun] What the heck part is the 3rd factor of the denominator on the right?