Problem #WSP-5328

Problems Inequalities

Problem

Proposed by USA for IMO 1993. For positive real numbers a,b,c,d prove that ab+2c+3d+bc+2d+3a+cd+2a+3b+da+2b+3c23.