The number of distinct prime power factors can be O(log n), and encoding each factor's bit-length in...
This proposition has not been edited since the history system was added.