dv sn finite le k?