Minkowski_inequality loading ...