Proof of the integral formula for the inverse sine function arcsin(x). The integral is evaluated using integration by parts.