x ＝ t−sin t、y ＝ 1−cos t
を
(x−π)^2/(π^2) ＋ (y^2)/4 ≦ 1
に代入して得られる不等式を証明する……という感じでどうだろう？

すいませんろくに考えず思いつきでレスしただけです。