a, b, c és d nem negatív számok, és c+d nem nagyobb sem a-nál, sem b-nél. Bizonyítandó, hogy ad+bc nem nagyobb ab-nél.