use formal definition for formal proof (limits)

Printable View