In an acute triangle △ABC with circumradius R, altitudes AD,BE,CF have lengths h1,h2,h3, respectively. If t1,t2,t3 are lengths of the tangents from A,B,C, respectively, to the circumcircle of triangle △DEF, prove that
i=1∑3(hiti)2≤23R. inequalitiesgeometrycircumcircletrigonometrygeometry proposed