The sequence \( a_1, a_2, a_3, \dots \) is such that
\[
a_n = \frac{a_{n-1} + a_{n+1}}{2} \text{ for all } n \geq 3, \text{ if } a_4 = 4 \text{ and } a_5 = 20, \text{ what is the value of } a_2?
\]
Show Hint
For recurrence relations, always substitute known values and simplify step by step.