Bài toán những con sư tử thông minh

Quy nạp là một phương pháp rất quan trọng trong Toán học. Chúng ta áp dụng phương pháp này qua bài toán vui sau:

Hai mươi con sư tử ở trong một chuồng. Món ăn yêu thích của chúng là cừu. Tuy nhiên, các con sư tử biết rằng bất kỳ con sư tử nào ăn cừu đều sẽ buồn ngủ và có nguy cơ bị con sư tử khác ở gần ăn thịt.

Một con sư tử ăn thịt con sư tử khác cũng sẽ buồn ngủ và có nguy cơ bị ăn thịt. Một con cừu được đưa vào chuồng. Mỗi con sư tử đều rất muốn ăn nó, nhưng sẽ chỉ làm như vậy nếu chúng chắc chắn rằng chúng không bị ăn thịt. Điều gì sẽ xảy ra với con cừu?

Lưu ý rằng, nếu con cừu bị ăn, nó sẽ chỉ bị một con sư tử ăn, và không được chia sẻ cho toàn bộ bầy. Các con sư tử trong chuồng đều rất thông minh và chúng luôn hành động trong lợi ích tốt nhất của mình.