Notebook[List[Cell[BoxData[List[FormBox[RowBox[List[RowBox[List[SubsuperscriptBox["\[Integral]", "0", "\[Infinity]"], RowBox[List[RowBox[List["P", "(", "v", ")"]], "\[ThinSpace]", "dv"]]]], "=", "1"]], TraditionalForm], FormBox[RowBox[List[StyleBox["Or", Rule[FontSlant, "Plain"]], ",", RowBox[List[RowBox[List["K", RowBox[List[SubsuperscriptBox["\[Integral]", "0", "\[Infinity]"], RowBox[List[SuperscriptBox["e", RowBox[List["-", FractionBox[SuperscriptBox[RowBox[List["(", RowBox[List["v", "-", SubscriptBox["v", "0"]]], ")"]], "2"], RowBox[List["2", SuperscriptBox["\[Sigma]", "2"]]]]]]], "\[ThinSpace]", "dv"]]]]]], "=", "1"]]]], TraditionalForm], FormBox[RowBox[List[RowBox[List[StyleBox["Let", Rule[FontSlant, "Plain"]], "   ", SuperscriptBox["v", "\[Prime]"]]], "=", RowBox[List[RowBox[List[FractionBox[RowBox[List["(", RowBox[List["v", "-", SubscriptBox["v", "0"]]], ")"]], RowBox[List[SqrtBox["2"], "\[Sigma]"]]], "\[Implies]", SuperscriptBox["dv", "\[Prime]"]]], "=", FractionBox["dv", RowBox[List[SqrtBox["2"], "\[Sigma]"]]]]]]], TraditionalForm], FormBox[RowBox[List[StyleBox["Or", Rule[FontSlant, "Plain"]], ",", RowBox[List[RowBox[List["K", RowBox[List[SubsuperscriptBox["\[Integral]", "0", "\[Infinity]"], RowBox[List[SuperscriptBox["e", RowBox[List["-", SuperscriptBox[RowBox[List["(", SuperscriptBox["v", "\[Prime]"], ")"]], "2"]]]], "\[ThinSpace]", SuperscriptBox["dv", "\[Prime]"]]]]]]], "=", "1"]]]], TraditionalForm], FormBox[RowBox[List[StyleBox["Or", Rule[FontSlant, "Plain"]], ",", RowBox[List[RowBox[List[RowBox[List["K", "\[CenterDot]", "\[Sigma]", "\[CenterDot]", SqrtBox[FractionBox["\[Pi]", "2"]]]], SuperscriptBox[RowBox[List["erfc", "(", RowBox[List["-", FractionBox[SubscriptBox["v", "0"], RowBox[List[SqrtBox["2"], "\[Sigma]"]]]]], ")"]], RowBox[List["-", FractionBox[SubscriptBox["v", "0"], RowBox[List[SqrtBox["2"], "\[Sigma]"]]]]]]]], "=", "1"]]]], TraditionalForm], FormBox[RowBox[List[StyleBox["Or", Rule[FontSlant, "Plain"]], ",", RowBox[List["K", "=", FractionBox["1", RowBox[List["\[Sigma]", SqrtBox[FractionBox["\[Pi]", "2"]], RowBox[List["erfc", "(", RowBox[List["-", FractionBox[SubscriptBox["v", "0"], RowBox[List[SqrtBox["2"], "\[Sigma]"]]]]], ")"]]]]]]]]], TraditionalForm]]], "Input"]]]