Framing functions and strengthened version of Dehn's lemma

We give a lower estimate of the framing function of knots, and prove a strengthened version of Dehn’s lemma conjectured by Greene-Wiest.