P
Initializing...
Lean-Workbook Syntax 47065: A finite geometric sum is below the next power · Prove2Me