Talk:Covering number