“使得……$\ge \lceil tot \rceil$”是否应为“使得……$\ge \lceil \frac{tot}{3} \rceil$”？