\(\gdef\floor#1{\lfloor#1\rfloor}\) \(\gdef\rounded#1{\lfloor#1\rceil}\)

公式解説 で \(\lfloor \sqrt D\rceil -1\) としている部分は、\(\floor{\sqrt D}\) としてもよいです。 すなわち、\(f(\rounded{\sqrt D}-1) = f(\floor{\sqrt D})\) が成り立つことが示せます。

→ 証明