>>911 (右)　(チェビシェフ)

逆傾向より
　0 ≦ {tan(x)-tan(y)}･(1/y-1/x),

　0 ≦ ∬ {tan(x)-tan(y)}･(1/y-1/x) dx dy
　= 2∫tan(u)du ∫(1/v)dv - 2∫tan(x)/x dx･∫dy,

∴ ∫tan(x)/x dx ≦ ∫tan(u)du･∫(1/v)dv / ∫dy