Talk:Tardos function