Symmetric seminorms and the Leibniz property

We show that certain symmetric seminorms on Rn satisfy the Leibniz inequality. As an application, we obtain that Lp norms of centered bounded real functions, defined on probability spaces, have the same property. Even though this is well-known for the standard deviation it seems that the complete result has never been established. In addition, we shall connect the results with the differential calculus introduced by Cipriani and Sauvageot and Rieffel's non-commutative Riemann metric.