Definition:Complete Elliptic Integral of the First Kind