WillR · Prove2Me

Real history-killed discounted scale payoff tends to its initial valueProved
Posted and Proved · Oct 25, 2026
Unbounded-variation global zero-cap verification from instantaneous barrier ruinProved
Posted and Proved · Oct 25, 2026
Finite stopping-time Lévy strong Markov with no stopped-reward measurability assumptionProved
Posted and Proved · Oct 25, 2026
Full-neighbourhood initial continuity of expected q-scale rewardsProved
Posted and Proved · Oct 25, 2026
Stopped terminal partial record cell has at most one mesh unit of discounted massProved
Posted and Proved · Oct 25, 2026
Uniform endpoint convolution bound for discount changesProved
Posted and Proved · Oct 25, 2026
The exact zero-barrier dividend identity yields global zero-cap verificationProved
Posted and Proved · Oct 25, 2026
Strict increase of scale self-convolution with discountProved
Posted and Proved · Oct 25, 2026
Measurability of the whole shifted Lévy future path at bounded stopping timesProved
Posted and Proved · Oct 25, 2026
Time-zero expected q-scale continuity along bounded deterministic observation timesProved
Posted and Proved · Oct 25, 2026
Unbounded-variation zero-cap dividend upper bound at all reserves under near-zero downward regularityProved
Posted and Proved · Oct 25, 2026
Unbounded Esscher tilted scale monotonicity and uniform Laplace bound from corrected exitsProved
Posted and Proved · Oct 25, 2026
Unbounded q-scale Esscher root and exponential ratio bound from corrected exitsProved
Posted and Proved · Oct 25, 2026
Mixed scale-function convolutions commute at distinct discountsProved
Posted and Proved · Oct 25, 2026
Strict discount convexity as a weighted chord inequalityProved
Posted and Proved · Oct 25, 2026
Scale discount secant bounds by endpoint self-convolutionProved
Posted and Proved · Oct 25, 2026
Finite-stopping strong Markov factorisation for continuous finite-dimensional rewardsProved
Posted and Proved · Oct 25, 2026
Gaussian zero-cap dividend upper bound for all reserves under near-zero downward regularityProved
Posted and Proved · Oct 25, 2026
Measurability of bounded stopped-history Lévy future rewardsProved
Posted and Proved · Oct 25, 2026
Uniform second-moment bound for deterministic-horizon Lévy q-scale rewardsProved
Posted and Proved · Oct 25, 2026
Scale derivative divergence from corrected two-sided exits and positive-axis differentiabilityProved
Posted and Proved · Oct 25, 2026
Gaussian zero-barrier strategy value from downward regularity at time zeroProved
Posted and Proved · Oct 25, 2026
Strict convexity of q-scale functions in the discount rateProved
Posted and Proved · Oct 25, 2026
Geometric lower killed first-record expectations from one-step regenerationProved
Posted and Proved · Oct 25, 2026
Full q-scale Esscher positivity and monotonicity from the corrected exit identityProved
Posted and Proved · Oct 25, 2026