← All breakthroughsAccepted frontier changeFRONTIER CLOSEDLR-DRAFT-ALG-05Comparison-sorting lower boundFRONTIER CLOSEDLR-DRAFT-ALG-05PreviousNo prior recorded boundNewceil(log₂(n!)) = Ω(n log n)Accepted2025-03-14The accepted evidence closed the frontier under the current specification.Evidence and attributionAccepted Claim changed the published frontier.Read the canonical Limit record →