Algebraic Riccati Inequality (ARI)