原式=xarctan(x/4)|(0~4)-∫xdarctan(x/4) =π-∫x/[1+(x/4)^2]dx =π-8∫dx^2/(16+x^2) =π-8*ln|16+x^2||(0~4) =π-8ln2
