mathlib

905374c4 - feat(special_functions/gamma): better convergence bounds (#14496)

feat(special_functions/gamma): better convergence bounds (#14496) Use the stronger form of FTC-2 added #14147 to strengthen some results about the gamma function. Co-authored-by: David Loeffler <d.loeffler.01@cantab.net> Co-authored-by: loefflerd <d.loeffler.01@cantab.net>