1  == Power-of-2 Boundaries
 2  
 3  === (No proofs in this section)
 4  {nbsp}
 5  
 6  === Rounding Up/Down to the Next Power of 2
 7  
 8  include::../proofs/flp2.txt[]
 9  
10  include::../proofs/clp2.txt[]