let induction-sum-1oktkp1 = `!n:num. sum(0..(n-1)) (\k. (&1) / (&((k + 1) * (k + 2)))) = (&n) / (&(n + 1))`;;