DLMF:11.4.E25

From MaRDI portal