¹See math fact [CRRALim] in MathFacts.