x>0x>0x>0 が x2=r⌊x⌋x^2=r\lfloor x\rfloorx2=r⌊x⌋ を満たすとし、k=⌊x⌋k=\lfloor x\rfloork=⌊x⌋ とおく。x>0x>0x>0、r>0r>0r>0 より x2=rk>0x^2=rk>0x2=rk>0 となるので kkk は正整数であり、k≤x<k+1k\le x<k+1k≤x<k+1 より k2≤x2=rk<(k+1)2k^2\le x^2=rk<(k+1)^2k2≤x2=rk<(k+1)2 を得る。