Ответ:

Проверяем возможные цифры: если * = 8, получаем 5885, а если * = 9 — 5895. Оба числа больше 5872. При цифрах от 0 до 7 число 58*5 меньше 5872.

Ответ: * ∈ {8, 9}.