Re: [math-fun] Can anyone fix DLMF 15.8.23 ?