diff --git a/analysis/Analysis.lean b/analysis/Analysis.lean
index abd4319b..c2625979 100644
--- a/analysis/Analysis.lean
+++ b/analysis/Analysis.lean
@@ -10,3 +10,4 @@ import Analysis.Section_5_1
 import Analysis.Section_5_2
 import Analysis.Section_5_3
 import Analysis.Section_5_4
+import Analysis.Section_5_5