Giới đây là chứng minh rất hay và ngắn gọn cho bài toán đã từng xuất hiện trong đề thi IMO 1961 (International Mathematical Olympiad). Về sau bài toán này còn hay được biết tới với cái tên "bất đẳng thức Ionescu–Weitzenböck" Cre:Mathpiad