arXiv++ Combinatorics

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