Added proof for the logarithmic upper bound of certificates
Removed accidently added temp file
Merge pull request #1 from wimmers/master

Added a proof for the logarithmic upper bound on the length of certificates