Talk:Mahler's compactness theorem