angle 4 > angle 2

AD bisects angle CAB, AD > BD

AC > DC

Substitution

The exterior angle theorem

angle 1 = angle 2

If two angles of a triangle are unequal, the sides opposite them are unequal in the same order

angle 4 > angle 1

Given

Definition