(AbsorptionCoefficient = 222444.0)
(Product = (222444.0*DrugInBlood))
(Subtract = ((0.0-(222444.0*DrugInBlood))+DrugConsumption))

Zu zeigen:
(DrugConsumption-(222444.0*DrugInBlood)) < 0.0 -> (DrugInBlood >= MIN_INT)
Product <= MAX_INT
Product >= MIN_INT
Subtract <= MAX_INT
Subtract >= MIN_INT
