tighterhoeffding
