DLMF:11.11#Ex5

From MaRDI portal