# memory: instinct-clamp-floor-can-overtake-the-ceiling

下限を追加すると上限との不変条件が壊れる問題。max(N, x*r) は x hard になる。不変条件を式で書くことで解決。

## ポイント
- 下限を足すと上限との不変条件が壊れる
- max(N, x*r) は x- soft = max(30, int(hard * 0.85)) は hard < 30 のとき soft > hard になる
- 不変条件を式で書くことで解決
- 下限を「足りないから」で引き上げるのは、上限側を直すべき問題を下限で誤魔化す形

## 関連ページ
[[instinct-limit-belongs-at-the-confluence]] [[instinct-fixed-width-rewind-vs-unbounded-patterns]]

## 関連概念（未作成）
`不変条件の重要性` `コードの可読性と保守性` `バグの予防と修正`