A density bound for triangle-free $4$-critical graphs

We show every triangle-free $4$-critical graph $G$ satisfies $e(G) \geq \frac{5v(G)+2}{3}$.