3 Dentro de un cuadrilátero convexo $ABCD$ con $BC>AD$, se elige un punto $T$. $S$ está sobre el segmento $AT$ tal que $DT = BC$, $\angle TSD = 90^\circ$. Demuestra que si $\angle DTA + \angle TAB + \angle ABC = 180^\circ$, entonces $AB + ST \geqslant CD + AS$. Propuesto por Alexander Tereshin - Rusia Shayan-TayefehIR