This document contains a proof that the integral from 0 to 1 of x dx equals 1/2. It begins by assuming the integral exists, then provides an alternative proof that does not assume the integral exists. This is done by establishing a lemma about Riemann sums and partitions, and showing that the difference between any two Riemann sums is less than epsilon.