如题。若 $a,b,r\in[0,n]\cap\mathbb Z$（待解问题中 $n=4\times 10^6$），求 $|\sqrt{a^2+b^2}-r|$ 的非零最小值的下界。越小越好！