DLMF:26.11#Ex3

From MaRDI portal