Define the integer-valued function to return the -th decimal digit of . This is the sequence A000796 in the OEIS. We will now state a conjecture that is inspired by a limit appearing in an elementary proof of Stirling’s approximation by Jakub Smolík [1]. In his proof, Smolík shows:     Conjecture. Let such that […]