DLMF:10.19#Ex17

From MaRDI portal