若一个程序时间复杂度为

$O(n\times(n-k)\times (n-2\times k)\times(n-3\times k)\times...\times 1)$

则可近似为O(?).