Planar graph edge bound (source code)

= Planar graph edge bound

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