There's a moderately accessible explanation of Lehmer's number by Eriko Hironaka at math.fsu.edu/~aluffi/archiv… twitter.com/JSEllenberg/st…
In reply to @christianp
some more on Lehmer's problem dredged from the internet archive at web.archive.org/web/2013102720…