Γ⁡x+ⅈ⁢y≤Γ⁡x,