Talk:Interleave lower bound