We ask users to provide proof(s), reference(s) to proof(s), or further clarification on the proof(s) in this space.
: sum : http://drmf.wmflabs.org/wiki/Definition:sum
: cosine function : http://dlmf.nist.gov/4.14#E2
: ratio of a circle's circumference to its diameter : http://dlmf.nist.gov/5.19.E4
Equation (8), Section 25.12 of DLMF.
We ask users to provide relevant URL links in this space.