https://datatracker.ietf.org/doc/html/rfc2131
" If the client receives a DHCPNAK message, it cannot reuse its remembered network address. It must instead request a new address by restarting the configuration process, this time using the (non-abbreviated) procedure described in section 3.1. "
This is not what iOS is doing actually, as described iOS keeps on asking from the previous obtained ip address after receiving the DHCPNAK from the server.
Regards