Proper divisibility in computable rings

In every computable non-atomic integral domain there is a Δ30 infinite sequence of proper divisions. We show that this upper bound cannot be improved to Δ20 in general.