How do you prove that the triad of graphs of #y = cosh x , y = sinh x# and ( their bisector in the y-direction ) #y =(1/2) e^x# becomes asymptotic, as #x to oo#?