因为在x∈(0,π/4]时有sinx＜x＜tanx
所以tanx/x＞1,x/tanx＜1
即x/tanx＜1＜tanx/x
所以∫(0,π/4)tanx/xdx＞∫(0,π/4)x/tanxdx