0≦a≦A,0≦b≦Bのとき、
(a+A)/(2) * (b+B)/(2)≦(ab+AB)/(2)
が成り立つことを証明せよ

という問題を教えて下さい。