What is the relationship between Big O notation and induction in algorithm analysis?

In algorithm analysis, Big O notation is used to describe the upper bound of an algorithm's time complexity. Induction is a mathematical proof technique used to show that a statement holds true for all natural numbers. In algorithm analysis, induction can be used to prove the time complexity of an algorithm by showing that the algorithm's running time follows a certain pattern. The relationship between Big O notation and induction lies in using induction to prove the time complexity described by Big O notation for an algorithm.