  We use a "reverse engineering" method, pioneered by George Andrews, to
discover an explicit expression for the determinant of a certain tridiagonal
matrix discussed by Derrick Henry Lehmer in 1974, that lead to OEIS sequence
A039924. Lehmer only did the infinite case, and here we also do the finite
case, that immediately implies the former by taking the limit as n goes to
infinity
