Instängningssatsen, även satsen om de två polismännen, polislemmat, klämsatsen, är en sats (ibland sedd som ett lemma) inom matematisk analys. Satsen innebär att om funktionen f är större än g men mindre än h (g < f < h), i ett visst intervall, måste f vara lika med g och h om både h och g närmar sig en punkt p.
Satsen kan skrivas
Låt I vara ett intervall som innehåller punkten a. Låt f, g, och h vara funktioner definierade på intervallet I, utom möjligtvis för punkten a. Antag att för varje x i I skilt från a
och att
Då måste
Namnet satsen om de två polismännen härstammar från jämförelsen att de två polismännen Gustav (g) och Harald (h) med boven Frans (f) mellan sig rör sig mot fängelset; då Gustav och Harald närmar sig fängelset har Frans ingen annanstans att ta vägen än att följa med.
Instängningssatsen kan användas även för funktioner av flera variabler. I till exempel fallet f : R2 → R blir funktionsvillkoren
för alla (x, y) i en omgivning till gränsvärdespunkten. Ett villkor är att målfunktionen verkligen har ett gränsvärde i den givna punkten. Satsen kan därför användas för att visa att en funktion har ett gränsvärde i en given punkt, men kan inte användas för att visa att gränsvärdet inte existerar.
[1]