https://atcoder.jp/contests/diverta2019/tasks/diverta2019_d

t=⌊n/m⌋=nmod  mt = \lfloor n/m\rfloor = n \mod m とおくと 0≤t<m0 \le t < mであり、n=αm+tn=\alpha m + t とおける。 tt の条件から α=⌊n/m⌋=t\alpha = \lfloor n/m\rfloor = t だから結局 n=t(m+1)n = t(m+1) とかける。

n=t(m+1)≥t2n = t(m+1) \ge t^2 より、t≤nt \le \sqrt{n} を探索すれば良い。

https://atcoder.jp/contests/diverta2019/submissions/32371542