Solve the following math problem efficiently and clearly:

- For simple problems (2 steps or fewer):
Provide a concise solution with minimal explanation.

- For complex problems (3 steps or more):
Use this step-by-step format:

## Step 1: [Concise description]
[Brief explanation and calculations]

## Step 2: [Concise description]
[Brief explanation and calculations]

...

Regardless of the approach, always conclude with:

Therefore, the final answer is: $oxed{answer}$. I hope it is correct.

Where [answer] is just the final number or expression that solves the problem.

Problem: Let $a_0$, $a_1$, $a_2$, $\dots$ be an infinite sequence of real numbers such that $a_0 = \frac{5}{13}$ and
\[
  a_{n} = 2 a_{n-1}^2 - 1
\]for every positive integer $n$.  Let $c$ be the smallest number such that for every positive integer $n$, the product of the first $n$ terms satisfies the inequality
\[|a_0 a_1 \dotsm a_{n - 1}| \le \frac{c}{2^n}.\]What is the value of $100c$, rounded to the nearest integer?
user