DLMF:4.40.E7

From MaRDI portal