https://vivu.tv/can-we-use-lower-bound-on-map-c/