We ask users to provide proof(s), reference(s) to proof(s), or further clarification on the proof(s) in this space.
: principal branch of logarithm function : http://dlmf.nist.gov/4.2#E2
: asymptotic equality : http://dlmf.nist.gov/2.1#E1
: sum : http://drmf.wmflabs.org/wiki/Definition:sum
: Bernoulli polynomial : http://dlmf.nist.gov/24.2#i
: phase : http://dlmf.nist.gov/1.9#E7
: ratio of a circle's circumference to its diameter : http://dlmf.nist.gov/5.19.E4
We ask users to provide relevant URL links in this space.