¹¹A positive density over a positive interval above the lower bound would work instead, but would be cumbersome.