The strict two-sided exit expectation is bounded by the killed reflected first-record reward

Initializing...

The strict two-sided exit expectation is bounded by the killed reflected first-record reward · Prove2Me