Вычислить значение выражения в цикле

res = 1
for i in range(n//k + 1):
    res *= (n - i*k or 1)

from functools import reduce
from operator import mul
 
res = reduce(lambda v, i: v*(n - i*k or 1), range(1, n//k+1), n)
# или
res = reduce(mul, (n - i*k or 1 for i in range(n//k + 1)))

s=input()
n = s.split(" ")[0]
f = len(s.split(" ")[1])
i=1
while s>1:
    s=s*(s-f*i)
    i=i+1
print(n)
print(f)

s=input()
n = s.split(" ")[0]
f = len(s.split(" ")[1])
i=1
while n>1:
    n=n*(n-f*i)
    i=i+1
print(n)
print(f)
 
3 !!!
Traceback (most recent call last):
  File "c:\python\project-10.py", line 5, i
    while n>1:
TypeError: unorderable types: str() > int()

n = int(s.split()[0])

def my_funct(n, k):
    result = 1
    for i in range(n, (n % k if n % k else k) - 1, -k):
        result *= i
    return result

result = 1
for i in range(n, 0, -k):
        result *= i 
print(result)

i=1
r = n
while n-f*i>1:
    r=r*(n-f*i)
    i=i+1

s=input()
n = int(s.split(" ")[0])
f = len(s.split(" ")[1])
i=1
r=n
while n-f*i>1:
    r=r*(r-f*i)
    i=i+1
print(n)

r=r*(n-f*i)

print(r)