This is correct for a half-closed interval https://mathworld.wolfram.com/Half-ClosedInterval.html