Barbier's theorem asserts that the perimeter of any curve of constant width is equal to the width multiplied by formula_6. As a special case, this formula agrees with the standard formula formula_7 for the perimeter of a circle given its diameter. By the isoperimetric inequality and Barbier's theorem, the circle has the maximum area of any curve of given constant width. The Blaschke–Lebesgue theorem says that the Reuleaux triangle has the least area of any convex curve of given constant width. Every proper superset of a body of constant width has strictly greater diameter, and every Euclidean set with this property is a body of constant width. In particular, it is not possible for one body of constant width to be a subset of a different body with the same constant width. Every curve of constant width can be approximated arbitrarily closely by a piecewise circular curve or by an analytic curve of the same constant width.