Use floor(2*sqrt(n)) instead of 2*floor(sqrt(n)) in verify