對(duì)于一個(gè)比較困難的不等式的證明。