Added proof for the logarithmic upper bound of certificates
Removed accidently added temp file