F is a limit (Explicit)

F is a limit (Explicit)