Great point. Off by one, indeed!
For a good discussion of the syntactic obstacle at play in implementing an open lower bound, see this post.
Great point. Off by one, indeed!
For a good discussion of the syntactic obstacle at play in implementing an open lower bound, see this post.