The integral of horse as x-> inf = prove that pony is best horse. (I do have a degree in engineering)