1  == Some Elementary Functions
 2  
 3  === (no proofs in this section)
 4  {nbsp}
 5  
 6  === (no proofs in this section)
 7  {nbsp}
 8  
 9  === (no proofs in this section)
10  {nbsp}
11  
12  === Integer Logarithm
13  include::../proofs/ilog10.txt[]