 This one checks if the fractional part of x is zero (i.e., it is an integer), and if so, it calls the function to multiply a range of values.The 's parameter is also a proposition, but in this case, the test is replaced by a loop iterator that runs from 1 to x stepping by 1.If that proposition is true, which is it for all values of the loop, it returns the index i.