Schärfe und kleinste Garantien

Garantierte Mindestbelegungen mit Aufrunden bestimmen und die kleinste ausreichende Objektzahl durch scharfe Grenzverteilungen beweisen.