title: What is induction method when it comes to C++ template metaprogramming?
body: <p>People keep saying solve the problem using induction when it comes to template metaprograms. For example see this answer : <a href="https://stackoverflow.com/a/11811486/4882052">https://stackoverflow.com/a/11811486/4882052</a></p>
  
  <p>I know induction proofs etc, but how this theory is used to solve metaprogram?.  I'd love examples with examples :)</p>