Clarkson's_inequalities loading ...