 Planar graph edge bound

A simple planar graph with $n\ge 3$ vertices has at most $3n-6$ edges.