>>63
今日調べたが、google翻訳では下限と出てきた。
私が持っている辞書ソフトで調べると下界となっていた。
何故間違ったのかは不明だ。

>>64
そうですね、infimumでした