Lower bounds table
Last updated: November, 2025