Verify: 2Arctan 1/2 = Arctan 4/3 ?