On upper exit,
b≤ST≤b+c; on lower exit,
−a−c≤ST≤−a. With
p=P(ST≥b) and
EST=0,
pb−(1−p)(a+c)≤0≤p(b+c)−(1−p)a.
Solving gives
Moreover
(ST+a)(ST−b)≥0, so
EST2≥ab, which is stronger than the requested lower bound. Also
ST∈[−a−c,b+c], and hence
Taking expectations and using
EST=0 gives
EST2≤(a+c)(b+c), stronger than the requested upper bound. Since
ab≥a+b+cab(a+b),(a+c)(b+c)≤a+b+c(a+c)(b+c)(a+b+2c),
the two stated estimates follow from part
a.
New to topics? Read the docs here!