You are better off using norm or pehaps square_abs rather than complex_lorentz. If you do so, you will see that you have norm of CVX expression on both sides of the inequality. So the first thing you need to do is prove that this inequality is actually convex, which I will presume it is not, your claim to the contrary notwithstanding, unless you prove otherwise.