https://9lib.net/document/zlgv4p7r-extension-trapezoid-inequality-complex-integral.html