DLMF:11.10#Ex5

From MaRDI portal