＞８００
ありがとうございます。

でも、固定したとすると、＜＝ではなくて、
高々＝が成立するだけじゃないかと
思うのですが？

数学では高々＝が成立するときでも、
＝＜と書いて、成立する見込みのない＜を
わざわざ書くのでしょうか？

それって、ちょっと変だと思います。