ResPubID: 5485, finite Hilbert transform, trapezoid inequality