4*arctan(1/5) - arctan(1/239) = π/4

を証明せよ。