Talk:Proof: Upper Bound