{\displaystyle \inf }