Ktoś? coś? Iwooo: Niech a, b, c, d będą dolnymi liczbami rzeczywistymi dodatnimi. Sprawdź, że: [^ab_cd]=max ( [^a_c][^b_d], [^a_d}{^b_d] ), gdzie [r] oznacza część całkowitą liczby rzeczywistej r.