DLMF:11.6.E9

From MaRDI portal