Jensens formel (efter den danske matematikern Johann Jensen ) låter en bestämma beteendet hos en analytisk funktion i en cirkel ; på något sätt är det en generalisering av medelvärdessatsen .
Om är någon sluten cirkel, är analytisk i , är en sekvens av nollor inuti , räknas lika många gånger som deras mångfald. Då sker följande uttryck: