Text this: Sharp Bound of the Number of Zeros for a Liénard System with a Heteroclinic Loop