P
Initializing...
A finite limit along shifted increasing centres is at most the right limsup · Prove2Me