trending3
tag: lower-bounds