chore(archive/100-theorems-list/42): typo (#9341)

leanprover-community · Sep 23, 2021 · 7615f83 · 7615f83
1 parent d238087
commit 7615f83
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/archive/100-theorems-list/42_inverse_triangle_sum.lean b/archive/100-theorems-list/42_inverse_triangle_sum.lean
@@ -11,7 +11,7 @@ import data.real.basic
 This file proves Theorem 42 from the [100 Theorems List](https://www.cs.ru.nl/~freek/100/).
 
 We interpret “triangular numbers” as naturals of the form $\frac{k(k+1)}{2}$ for natural `k`.
-We prove that the sum of the first `n` triangular numbers is equal to $2 - \frac2n$.
+We prove that the sum of the reciprocals of the first `n` triangular numbers is $2 - \frac2n$.
 
 ## Tags