Prove or disprove: sinh2(ln(\sqrt{}2+\sqrt{}3)) is an integerObviously, I used my calc to figure out that the answer is 2. Proving it w/o a calc is hard though.
The Attempt at a Solution
I've tried rewriting sinh2 as (1/4)(e2x+e-2x-2) and after all the substitutions and log rules I get...