there should be an assumption that n%k is 0. otherwise the floor(n/k) do not hold.
We don’t need to make this assumption. Since n and k are integers and the integer division always returns an integer in the output. Suppose n = 8 and k =3 then the result of the floor(8/3) will be 2.
Maida Ijaz | Developer Advocate