(aνm⁡(k2)-bνm⁡(k2))⁢ν⁢(ν-1)⁢⋯⁢(ν-m+1)>0.