The error term in the prime number theorem

We make explicit a theorem of Pintz concerning the error term in the prime number theorem. This gives an improved version of the prime number theorem with error term roughly square-root of that which was previously known. We apply this to a long-standing problem concerning an inequality studied by Ramanujan.