suc{Max,Min}{L,R} + add mrb to CONTRIBUTORS
Merge pull request #1344 from mrb/maximum_succ_proof

suc{Max,Min}{L,R} + add mrb to CONTRIBUTORS