DLMF:20.5.E9

From MaRDI portal