Azuman epäyhtälö on arvio viimeisen martingaaliarvon todennäköisyystiheydelle .
Olkoon martingaali ja olkoon ehto täyttynyt kaikille hyväksyttäville ja kaikille alkeistapahtumille . Silloin eriarvoisuus pätee mihin tahansa .
Todiste on annettu kirjassa [1] .