A proof of the union bound and other bounds can be found at John Cioffi’s material, available at Stanford’s web site [ url5cln].
Some references about the gap approximation are [FE91, GA06].