Using Chebyshev Polynomial #T_n (x)=cosh( n( arc cosh(x))), x > = 1# and the recurrence relation #T_(n+2)(x)=2xT_(n+1)(x) - T_n (x)#, with #T_0(x)=1 and T_1(x)=x#, how do you porve that #cosh(7 arc cosh(1.5))=421.5?#