Disciplined convex programming error: Invalid constraint: {convex} >= {convex}

Please show us a proof that the constraint in question is convex.