For (18.23.3)–(18.23.5), (18.23.7)
see Ismail (2009, (6.2.43), (6.1.8), (6.1.22), (5.9.3)).
(18.23.1) and (18.23.2) follow by expanding the
factors on the left as power series in , and substituting
(18.20.5) on the right.
(18.23.6) is a limiting case of (18.26.18) via
(18.26.6).