DLMF:23.8.E4

From MaRDI portal