Learn contraction mapping proof of Q learning stuff

This note has no content.