Proof of the integral formula for the inverse cosine function arccos(x). The integral can be evaluated using integration by parts but instead we use an inverse trig identity to make it easier.