f <= e (product (n - i - 1)/(n - i + 1), i = 1 to n/2)