This is the Ramanujan–Nagell equation.
Conjectured in 1913 by Srinivasa Ramanujan.                                                   Proved in 1948 by Trygve Nagell.

Response to Math Files on X