Answer
Input force multiplied by input distance equals output force multiplied by output distance. Her small force acts over a large distance, and the lever turns it into a large force over a small distance.
Work Step by Step
This is discussed on page 120.