Finish rough pass through subsection with proof of Neumann's expansion, in Bessel functions chapter