Kantorovich_inequality loading ...