Binet, funzione di
Binet, funzione di indicata con J(z), viene così espressa:
Ammette il seguente sviluppo asintotico, detto rappresentazione asintotica di Stirling
con B2k numeri di Bernoulli. La funzione di Binet è utilizzata per esprimere il logaritmo della funzione Γ(z), funzione gamma di Eulero (si veda la tavola delle funzioni speciali).