P * Q >= P + Q