\alpha \le \pi