Video Tag: proof of e as irrational