Prove the result : sin^-1(4/5) + 2tan^-1(1/3) = π/2