面倒な計算

[hedwig100]

$x \geq 0,m > 0,0 \leq k < m$ に対して $i < x$ かつ $i = k \mod m$ を満たす $i$ の最大値とか