The $p$-Product Formula Defines a Metric