Como obter o mínimo garantido de elementos de um grupo quando se conhece o total presente e o máximo possível do outro grupo?

Subtrai-se o máximo possível do outro grupo do total presente: mínimo = total − máximo_do_outro (com limite ≥0).

Para minimizar a quantidade de um tipo, assume-se o máximo de elementos do outro tipo — ideia do Princípio da Casa dos Pombos / razão por extremos. Assim, o limite inferior para o grupo A é T − M_B, respeitando que o resultado não pode ser negativo nem maior que o total disponível de A.

Exemplo:
Em uma empresa há 100 dispositivos iOS e 140 dispositivos Android disponíveis. Foram usados 180 dispositivos no total. O máximo possível de iOS usados é 100, então o mínimo garantido de Android usados é:
\( \text{mínimo Android} = 180 - 100 = 80 \).