Edge Bound for Triangle-Free Planar Graphs