In the interior of the square of side length $N$, whose two corners are lattice points $(m,m)\in\Bbb Z^2$, there are $(N-1)^2$ lattice points.
So, in the intetior of the circle $$x^2+y^2=r^2,\,\, r\in\Bbb R,$$ there must be at least $$\lfloor(\sqrt{\pi}r-1)^2\rfloor$$ lattice points.
Is this true? What is the best lower bound?
Edit: I found this related post.