P
Initializing...
No running-supremum dividend before or at the extended first positive record · Prove2Me