DLMF:3.12.E4

From MaRDI portal