Proceedings of the Edinburgh Mathematical Society

Research Article

Note on Binet's Inverse Factorial Series for μ(x)

E. T. Copson

Binet shewed that the function

S0013091500036373_eqnU1

can be expanded as an inverse factorial series. This note furnishes a new and much simpler proof of his result, based on a formula which is an analogue of the Binomial Theorem for factorials.

This formula is that, if we denote by [x]n the ratio

S0013091500036373_eqnU2

then

S0013091500036373_eqnU3

where S0013091500036373_inline1 denotes the coefficient of xr in the expansion of (1 + x)m.

(Received March 06 1924)

Notes

* Journ. de l' Ecole Polyt. 16 (1839), 123. [OpenURL Query Data]  [Google Scholar]

† The usual proof depends on expressing μ(x) as an integral. See Nielsen: Handbuch der Theorie der Gammafunktionen; p. 284 et seq.

‡ This is merely the theorem that F(a, b; c; 1) can be expressed as

S0013091500036373_eqnU4

* Landau: Munich Sitzungsberichte (1906) 36, 151–221. [OpenURL Query Data]  [Google Scholar]