inf ← {⌊/⍬}