(* Content-type: application/mathematica *) (*** Wolfram Notebook File ***) (* http://www.wolfram.com/nb *) (* CreatedBy='Mathematica 6.0' *) (*CacheID: 234*) (* Internal cache information: NotebookFileLineBreakTest NotebookFileLineBreakTest NotebookDataPosition[ 145, 7] NotebookDataLength[ 69779, 2218] NotebookOptionsPosition[ 62123, 1966] NotebookOutlinePosition[ 62460, 1981] CellTagsIndexPosition[ 62417, 1978] WindowFrame->Normal ContainsDynamic->False*) (* Beginning of Notebook Content *) Notebook[{ Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ "This", " ", "is", " ", "the", " ", "way", " ", "you", " ", "enter", " ", "a", " ", "function"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398253826497037*^9, 3.3982538357520323`*^9}, 3.398256586984939*^9}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"f", "[", "x_", "]"}], ":=", RowBox[{"x", "^", "2"}]}], ";"}]], "Input", CellChangeTimes->{{3.397399758956905*^9, 3.3973997636685123`*^9}}], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ RowBox[{"To", " ", "evaluate"}], ",", " ", RowBox[{"simply", " ", "write"}]}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398253840460514*^9, 3.398253849127862*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"f", "[", "2", "]"}]], "Input", CellChangeTimes->{{3.3973998215274754`*^9, 3.397399822578518*^9}}], Cell[BoxData["4"], "Output", CellChangeTimes->{3.397399823543174*^9, 3.398253851536025*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ "You", " ", "can", " ", "input", " ", "anything", " ", "in", " ", "the", " ", "argument"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398253853482265*^9, 3.39825386828017*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"f", "[", RowBox[{"t", "^", "5"}], "]"}]], "Input", CellChangeTimes->{{3.397399826672914*^9, 3.397399830114922*^9}}], Cell[BoxData[ SuperscriptBox["t", "10"]], "Output", CellChangeTimes->{3.39739983051659*^9, 3.398253870407695*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ "Most", " ", "of", " ", "the", " ", "examples", " ", "will", " ", "deal", " ", "with", " ", "integrals"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.3982538725903063`*^9, 3.398253885320224*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Integrate", "[", RowBox[{ RowBox[{"f", "[", "x", "]"}], ",", "x"}], "]"}]], "Input", CellChangeTimes->{{3.397399868012287*^9, 3.397399873142391*^9}}], Cell[BoxData[ FractionBox[ SuperscriptBox["x", "3"], "3"]], "Output", CellChangeTimes->{3.3973998783843184`*^9, 3.398253888098608*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Integrate", "[", RowBox[{ RowBox[{"Exp", "[", "x", "]"}], ",", "x"}], "]"}]], "Input", CellChangeTimes->{{3.3973999030585747`*^9, 3.397399913592437*^9}}], Cell[BoxData[ SuperscriptBox["\[ExponentialE]", "x"]], "Output", CellChangeTimes->{3.3973999140129747`*^9, 3.3982538893842487`*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ "Sometimes", " ", "you", " ", "will", " ", "get", " ", "an", " ", "\"\\"", " ", "function", " ", "as", " ", "the", " ", "answer"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398253891907619*^9, 3.3982539115363092`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Integrate", "[", RowBox[{ RowBox[{"Exp", "[", RowBox[{"-", RowBox[{"x", "^", "2"}]}], "]"}], ",", "x"}], "]"}]], "Input", CellChangeTimes->{{3.397399917663463*^9, 3.397399924944386*^9}}], Cell[BoxData[ RowBox[{ FractionBox["1", "2"], " ", SqrtBox["\[Pi]"], " ", RowBox[{"Erf", "[", "x", "]"}]}]], "Output", CellChangeTimes->{3.397399971936124*^9, 3.398253918602036*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Integrate", "[", RowBox[{ RowBox[{"x", "/", RowBox[{"Sin", "[", "x", "]"}]}], ",", "x"}], "]"}]], "Input", CellChangeTimes->{{3.397400121162037*^9, 3.397400130378574*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"x", " ", RowBox[{"(", RowBox[{ RowBox[{"Log", "[", RowBox[{"1", "-", SuperscriptBox["\[ExponentialE]", RowBox[{"\[ImaginaryI]", " ", "x"}]]}], "]"}], "-", RowBox[{"Log", "[", RowBox[{"1", "+", SuperscriptBox["\[ExponentialE]", RowBox[{"\[ImaginaryI]", " ", "x"}]]}], "]"}]}], ")"}]}], "+", RowBox[{"\[ImaginaryI]", " ", RowBox[{"(", RowBox[{ RowBox[{"PolyLog", "[", RowBox[{"2", ",", RowBox[{"-", SuperscriptBox["\[ExponentialE]", RowBox[{"\[ImaginaryI]", " ", "x"}]]}]}], "]"}], "-", RowBox[{"PolyLog", "[", RowBox[{"2", ",", SuperscriptBox["\[ExponentialE]", RowBox[{"\[ImaginaryI]", " ", "x"}]]}], "]"}]}], ")"}]}]}]], "Output",\ CellChangeTimes->{3.3974001318349237`*^9, 3.398253923715963*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{"Differentiation", " ", "is", " ", "much", " ", "easier"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.3982539256767883`*^9, 3.398253935496109*^9}}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"g", "[", "x_", "]"}], ":=", RowBox[{ RowBox[{"x", "^", "2"}], "*", RowBox[{"Sin", "[", "x", "]"}]}]}], ";"}]], "Input", CellChangeTimes->{{3.397400197405999*^9, 3.3974002174429817`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"D", "[", RowBox[{ RowBox[{"g", "[", "x", "]"}], ",", "x"}], "]"}]], "Input", CellChangeTimes->{{3.3974002208027687`*^9, 3.397400224204299*^9}}], Cell[BoxData[ RowBox[{ RowBox[{ SuperscriptBox["x", "2"], " ", RowBox[{"Cos", "[", "x", "]"}]}], "+", RowBox[{"2", " ", "x", " ", RowBox[{"Sin", "[", "x", "]"}]}]}]], "Output", CellChangeTimes->{3.397400224628559*^9, 3.3982539401914177`*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ "This", " ", "is", " ", "how", " ", "you", " ", "compute", " ", "higher", " ", "order", " ", "derivatives"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398253941837689*^9, 3.3982539621363707`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"D", "[", RowBox[{ RowBox[{"g", "[", "x", "]"}], ",", RowBox[{"{", RowBox[{"x", ",", "20"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.397400234497966*^9, 3.397400241176756*^9}}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"-", "40"}], " ", "x", " ", RowBox[{"Cos", "[", "x", "]"}]}], "-", RowBox[{"380", " ", RowBox[{"Sin", "[", "x", "]"}]}], "+", RowBox[{ SuperscriptBox["x", "2"], " ", RowBox[{"Sin", "[", "x", "]"}]}]}]], "Output", CellChangeTimes->{3.397400241653726*^9, 3.398253966275269*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"D", "[", RowBox[{ RowBox[{"x", "/", RowBox[{"Sin", "[", "x", "]"}]}], ",", RowBox[{"{", RowBox[{"x", ",", "20"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.3974003060548353`*^9, 3.3974003132176743`*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"20", " ", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"-", SuperscriptBox[ RowBox[{"Cot", "[", "x", "]"}], "19"]}], " ", RowBox[{"Csc", "[", "x", "]"}]}], "-", RowBox[{"290565357", " ", SuperscriptBox[ RowBox[{"Cot", "[", "x", "]"}], "17"], " ", SuperscriptBox[ RowBox[{"Csc", "[", "x", "]"}], "3"]}], "-", RowBox[{"1189405165908", " ", SuperscriptBox[ RowBox[{"Cot", "[", "x", "]"}], "15"], " ", SuperscriptBox[ RowBox[{"Csc", "[", "x", "]"}], "5"]}], "-", RowBox[{"167687984079924", " ", SuperscriptBox[ RowBox[{"Cot", "[", "x", "]"}], "13"], " ", SuperscriptBox[ RowBox[{"Csc", "[", "x", "]"}], "7"]}], "-", RowBox[{"3847582256323470", " ", SuperscriptBox[ RowBox[{"Cot", "[", "x", "]"}], "11"], " ", SuperscriptBox[ RowBox[{"Csc", "[", "x", "]"}], "9"]}], "-", RowBox[{"24028863623822694", " ", SuperscriptBox[ RowBox[{"Cot", "[", "x", "]"}], "9"], " ", SuperscriptBox[ RowBox[{"Csc", "[", "x", "]"}], "11"]}], "-", RowBox[{"49750647042865188", " ", SuperscriptBox[ RowBox[{"Cot", "[", "x", "]"}], "7"], " ", SuperscriptBox[ RowBox[{"Csc", "[", "x", "]"}], "13"]}], "-", RowBox[{"35562596236584612", " ", SuperscriptBox[ RowBox[{"Cot", "[", "x", "]"}], "5"], " ", SuperscriptBox[ RowBox[{"Csc", "[", "x", "]"}], "15"]}], "-", RowBox[{"7916162381187321", " ", SuperscriptBox[ RowBox[{"Cot", "[", "x", "]"}], "3"], " ", SuperscriptBox[ RowBox[{"Csc", "[", "x", "]"}], "17"]}], "-", RowBox[{"370371188237525", " ", RowBox[{"Cot", "[", "x", "]"}], " ", SuperscriptBox[ RowBox[{"Csc", "[", "x", "]"}], "19"]}]}], ")"}]}], "+", RowBox[{"x", " ", RowBox[{"(", RowBox[{ RowBox[{ SuperscriptBox[ RowBox[{"Cot", "[", "x", "]"}], "20"], " ", RowBox[{"Csc", "[", "x", "]"}]}], "+", RowBox[{"871696090", " ", SuperscriptBox[ RowBox[{"Cot", "[", "x", "]"}], "18"], " ", SuperscriptBox[ RowBox[{"Csc", "[", "x", "]"}], "3"]}], "+", RowBox[{"5951965440609", " ", SuperscriptBox[ RowBox[{"Cot", "[", "x", "]"}], "16"], " ", SuperscriptBox[ RowBox[{"Csc", "[", "x", "]"}], "5"]}], "+", RowBox[{"1191656966048088", " ", SuperscriptBox[ RowBox[{"Cot", "[", "x", "]"}], "14"], " ", SuperscriptBox[ RowBox[{"Csc", "[", "x", "]"}], "7"]}], "+", RowBox[{"36808184099950242", " ", SuperscriptBox[ RowBox[{"Cot", "[", "x", "]"}], "12"], " ", SuperscriptBox[ RowBox[{"Csc", "[", "x", "]"}], "9"]}], "+", RowBox[{"306640904681607804", " ", SuperscriptBox[ RowBox[{"Cot", "[", "x", "]"}], "10"], " ", SuperscriptBox[ RowBox[{"Csc", "[", "x", "]"}], "11"]}], "+", RowBox[{"863018184171651690", " ", SuperscriptBox[ RowBox[{"Cot", "[", "x", "]"}], "8"], " ", SuperscriptBox[ RowBox[{"Csc", "[", "x", "]"}], "13"]}], "+", RowBox[{"881693472848825496", " ", SuperscriptBox[ RowBox[{"Cot", "[", "x", "]"}], "6"], " ", SuperscriptBox[ RowBox[{"Csc", "[", "x", "]"}], "15"]}], "+", RowBox[{"312387741663107517", " ", SuperscriptBox[ RowBox[{"Cot", "[", "x", "]"}], "4"], " ", SuperscriptBox[ RowBox[{"Csc", "[", "x", "]"}], "17"]}], "+", RowBox[{"30785539720074938", " ", SuperscriptBox[ RowBox[{"Cot", "[", "x", "]"}], "2"], " ", SuperscriptBox[ RowBox[{"Csc", "[", "x", "]"}], "19"]}], "+", RowBox[{"370371188237525", " ", SuperscriptBox[ RowBox[{"Csc", "[", "x", "]"}], "21"]}]}], ")"}]}]}]], "Output", CellChangeTimes->{3.398253969490443*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{"We", " ", "now", " ", "study", " ", "Wallis", " ", "formula"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.397400597626075*^9, 3.3974006101612053`*^9}, { 3.39825397731404*^9, 3.398253983167983*^9}}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"w", "[", "m_", "]"}], ":=", RowBox[{ RowBox[{"w", "[", "m", "]"}], "=", RowBox[{"Integrate", "[", RowBox[{ RowBox[{"1", "/", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"x", "^", "2"}], "+", "1"}], ")"}], "^", RowBox[{"(", RowBox[{"m", "+", "1"}], ")"}]}]}], ",", RowBox[{"{", RowBox[{"x", ",", "0", ",", "Infinity"}], "}"}]}], "]"}]}]}], ";"}]], "Input", CellChangeTimes->{{3.397400573797617*^9, 3.3974005788974237`*^9}, { 3.397400622265386*^9, 3.397400647642232*^9}, {3.398254384211378*^9, 3.398254385721233*^9}}], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ "This", " ", "way", " ", "of", " ", "defining", " ", "the", " ", "function", " ", "w", " ", "means", " ", "that", " ", "Mathematica", " ", "will", " ", "save", " ", "your", " ", "calculations"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398254388857544*^9, 3.398254417484221*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"w", "[", "0", "]"}]], "Input", CellChangeTimes->{{3.397400786238474*^9, 3.397400787129904*^9}}], Cell[BoxData[ FractionBox["\[Pi]", "2"]], "Output", CellChangeTimes->{3.39740078762292*^9, 3.3982539899071074`*^9, 3.398254420119619*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"w", "[", "1", "]"}]], "Input", CellChangeTimes->{{3.397400806138598*^9, 3.397400806729761*^9}}], Cell[BoxData[ FractionBox["\[Pi]", "4"]], "Output", CellChangeTimes->{3.397400807206522*^9, 3.398253990503357*^9, 3.398254421731545*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"w", "[", "2", "]"}]], "Input", CellChangeTimes->{{3.397400809508439*^9, 3.397400810073874*^9}}], Cell[BoxData[ FractionBox[ RowBox[{"3", " ", "\[Pi]"}], "16"]], "Output", CellChangeTimes->{3.397400810492188*^9, 3.398253992346591*^9, 3.398254423370142*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ "Now", " ", "we", " ", "make", " ", "a", " ", "table", " ", "of", " ", "the", " ", "first", " ", "few", " ", "values"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398253994423284*^9, 3.3982540064811993`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Table", "[", RowBox[{ RowBox[{"w", "[", "k", "]"}], ",", RowBox[{"{", RowBox[{"k", ",", "0", ",", "6"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.397400831066711*^9, 3.3974008401593323`*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ FractionBox["\[Pi]", "2"], ",", FractionBox["\[Pi]", "4"], ",", FractionBox[ RowBox[{"3", " ", "\[Pi]"}], "16"], ",", FractionBox[ RowBox[{"5", " ", "\[Pi]"}], "32"], ",", FractionBox[ RowBox[{"35", " ", "\[Pi]"}], "256"], ",", FractionBox[ RowBox[{"63", " ", "\[Pi]"}], "512"], ",", FractionBox[ RowBox[{"231", " ", "\[Pi]"}], "2048"]}], "}"}]], "Output", CellChangeTimes->{3.39740084156863*^9, 3.398254011206489*^9, 3.398254429214476*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ "Observe", " ", "that", " ", "the", " ", "answer", " ", "is", " ", "a", " ", "rational", " ", "multiple", " ", "of", " ", "Pi"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398254013213524*^9, 3.398254027056171*^9}}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"w1", "[", "m_", "]"}], ":=", RowBox[{ RowBox[{"w", "[", "m", "]"}], "/", "Pi"}]}], ";"}]], "Input", CellChangeTimes->{{3.39740100049321*^9, 3.397401008301165*^9}}], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{"We", " ", "take", " ", "it", " ", "out"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398254035289646*^9, 3.398254046079874*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Table", "[", RowBox[{ RowBox[{"w1", "[", "k", "]"}], ",", RowBox[{"{", RowBox[{"k", ",", "0", ",", "6"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.397401054260168*^9, 3.397401060877215*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ FractionBox["1", "2"], ",", FractionBox["1", "4"], ",", FractionBox["3", "16"], ",", FractionBox["5", "32"], ",", FractionBox["35", "256"], ",", FractionBox["63", "512"], ",", FractionBox["231", "2048"]}], "}"}]], "Output", CellChangeTimes->{3.397401061535828*^9, 3.398254048636642*^9, 3.3982544384776487`*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ "The", " ", "denominators", " ", "seem", " ", "to", " ", "be", " ", "simpler", " ", "to", " ", "analyze"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.3982540508831997`*^9, 3.398254069706935*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Table", "[", RowBox[{ RowBox[{"Denominator", "[", RowBox[{"w1", "[", "k", "]"}], "]"}], ",", RowBox[{"{", RowBox[{"k", ",", "0", ",", "6"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.3974011669951363`*^9, 3.397401183376235*^9}, { 3.397401221417818*^9, 3.397401247359762*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ "2", ",", "4", ",", "16", ",", "32", ",", "256", ",", "512", ",", "2048"}], "}"}]], "Output", CellChangeTimes->{ 3.397401185081079*^9, {3.397401225752433*^9, 3.3974012492405977`*^9}, 3.398254074336437*^9, 3.398254442184293*^9}] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"den", "[", "k_", "]"}], ":=", RowBox[{"Denominator", "[", RowBox[{"w1", "[", "k", "]"}], "]"}]}], ";"}]], "Input", CellChangeTimes->{{3.397401325356165*^9, 3.3974013503423557`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Table", "[", RowBox[{ RowBox[{"den", "[", "k", "]"}], ",", RowBox[{"{", RowBox[{"k", ",", "0", ",", "6"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.397401354448702*^9, 3.3974013613016644`*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ "2", ",", "4", ",", "16", ",", "32", ",", "256", ",", "512", ",", "2048"}], "}"}]], "Output", CellChangeTimes->{3.397401361893415*^9, 3.398254080331512*^9, 3.398254448297736*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ "They", " ", "seem", " ", "to", " ", "be", " ", "powers", " ", "of", " ", "2"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398254083145759*^9, 3.3982540927280407`*^9}, 3.39825445211454*^9}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Log", "[", RowBox[{"2", ",", "8"}], "]"}]], "Input", CellChangeTimes->{{3.397401440697253*^9, 3.397401443269883*^9}}], Cell[BoxData["3"], "Output", CellChangeTimes->{ 3.3974014437031393`*^9, 3.398254099182534*^9, {3.398254449868196*^9, 3.398254454462101*^9}}] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"logden", "[", "k_", "]"}], ":=", RowBox[{"Log", "[", RowBox[{"2", ",", RowBox[{"den", "[", "k", "]"}]}], "]"}]}], ";"}]], "Input", CellChangeTimes->{{3.397401419284336*^9, 3.3974014306384773`*^9}, { 3.3974014741597347`*^9, 3.397401477214402*^9}}], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ "This", " ", "function", " ", "will", " ", "describe", " ", "the", " ", "exponent"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.3982541035348787`*^9, 3.3982541144402037`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Table", "[", RowBox[{ RowBox[{"logden", "[", "k", "]"}], ",", RowBox[{"{", RowBox[{"k", ",", "0", ",", "12"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.397401480289999*^9, 3.397401489875477*^9}, { 3.397401592134832*^9, 3.39740159257185*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ "1", ",", "2", ",", "4", ",", "5", ",", "8", ",", "9", ",", "11", ",", "12", ",", "16", ",", "17", ",", "19", ",", "20", ",", "23"}], "}"}]], "Output",\ CellChangeTimes->{3.397401506060507*^9, 3.397401593783166*^9, 3.398254117872332*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{"We", " ", "seeek", " ", "an", " ", "uper", " ", "bound"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398254126283643*^9, 3.398254131841984*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Table", "[", RowBox[{ RowBox[{ RowBox[{"2", "*", "k"}], "-", RowBox[{"logden", "[", "k", "]"}]}], ",", RowBox[{"{", RowBox[{"k", ",", "0", ",", "12"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.397401675938262*^9, 3.3974016924386883`*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", "0", ",", "0", ",", "1", ",", "0", ",", "1", ",", "1", ",", "2", ",", "0", ",", "1", ",", "1", ",", "2", ",", "1"}], "}"}]], "Output", CellChangeTimes->{3.39740171077493*^9, 3.398254134713489*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ "It", " ", "works", " ", "for", " ", "k", " ", "at", " ", "least", " ", "1"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.39825413736768*^9, 3.398254151679954*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Table", "[", RowBox[{ RowBox[{ RowBox[{"2", "*", "k"}], "-", RowBox[{"logden", "[", "k", "]"}]}], ",", RowBox[{"{", RowBox[{"k", ",", "1", ",", "12"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.397401717808763*^9, 3.3974017288604193`*^9}, 3.398254159995632*^9}], Cell[BoxData[ RowBox[{"{", RowBox[{ "0", ",", "0", ",", "1", ",", "0", ",", "1", ",", "1", ",", "2", ",", "0", ",", "1", ",", "1", ",", "2", ",", "1"}], "}"}]], "Output", CellChangeTimes->{ 3.3974017333156843`*^9, {3.39825415436838*^9, 3.398254161231389*^9}}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{"More", " ", "data"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398254166914562*^9, 3.398254172006276*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Table", "[", RowBox[{ RowBox[{ RowBox[{"2", "*", "k"}], "-", RowBox[{"logden", "[", "k", "]"}]}], ",", RowBox[{"{", RowBox[{"k", ",", "1", ",", "20"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.397401754704178*^9, 3.39740177298798*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ "0", ",", "0", ",", "1", ",", "0", ",", "1", ",", "1", ",", "2", ",", "0", ",", "1", ",", "1", ",", "2", ",", "1", ",", "2", ",", "2", ",", "3", ",", "0", ",", "1", ",", "1", ",", "2", ",", "1"}], "}"}]], "Output", CellChangeTimes->{3.3974018493674183`*^9, 3.3982541749245243`*^9, 3.398254463652253*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{"A", " ", "picture"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.3982541770823603`*^9, 3.398254181671892*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"ListPlot", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{ RowBox[{"2", "*", "k"}], "-", RowBox[{"logden", "[", "k", "]"}]}], ",", RowBox[{"{", RowBox[{"k", ",", "1", ",", "20"}], "}"}]}], "]"}], ",", RowBox[{"Joined", "\[Rule]", "True"}]}], "]"}]], "Input", CellChangeTimes->{{3.398254183991797*^9, 3.398254209592622*^9}}], Cell[BoxData[ GraphicsBox[{{}, {}, {Hue[0.67, 0.6, 0.6], LineBox[{{1., 0.}, {2., 0.}, {3., 1.}, {4., 0.}, {5., 1.}, {6., 1.}, {7., 2.}, {8., 0.}, {9., 1.}, {10., 1.}, {11., 2.}, {12., 1.}, {13., 2.}, { 14., 2.}, {15., 3.}, {16., 0.}, {17., 1.}, {18., 1.}, {19., 2.}, {20., 1.}}]}}, AspectRatio->NCache[GoldenRatio^(-1), 0.6180339887498948], Axes->True, AxesOrigin->{0, 0}, PlotRange->{{0., 20.}, {0., 3.}}, PlotRangeClipping->True, PlotRangePadding->{ Scaled[0.02], Scaled[0.02]}]], "Output", CellChangeTimes->{{3.398254204358921*^9, 3.398254211014556*^9}, 3.398254465669207*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{"More", " ", "data"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398254219091732*^9, 3.39825422486408*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"ListPlot", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{ RowBox[{"2", "*", "k"}], "-", RowBox[{"logden", "[", "k", "]"}]}], ",", RowBox[{"{", RowBox[{"k", ",", "1", ",", "100"}], "}"}]}], "]"}], ",", RowBox[{"Joined", "\[Rule]", "True"}]}], "]"}]], "Input", CellChangeTimes->{{3.398254183991797*^9, 3.398254236755197*^9}, { 3.39825427038877*^9, 3.398254282008704*^9}}], Cell[BoxData[ GraphicsBox[{{}, {}, {Hue[0.67, 0.6, 0.6], LineBox[CompressedData[" 1:eJxdk8tKA0EUBQdXLl24cOFCRURExPdbM8YYNcZoJibRrejaX+hP60/KJ6hk KnBrIDRF3dOne4asfv5U33NFUXz9/f7X6TNpFPEpI86XcW5BflF+SbzMfL2u KL+m+XXxhvKb8lvy2+KdeuUeu+rf03774gPtdyh/JH8sPlH/qfJnmj8XXyh/ KX8lfy1u1CvfrSQ/fRLMeW4iJ5i+pnxT/jZygjlPS/lWnC/ulIfJt+Xb8veR E8z9H9QP0/+o/WH278h35J/UD9PfVb4b54tn5WHyPfme/EvkBPM/faW/PgXM +xDn2Xy99qMv+9EncYa5X6V8FeeTOMPkB9GXg+iTOMO8nzf1w/SLM0z/UP3D 6JM4w/SPlB/F+STOMPlx9OU4+iTOMN//vV65P8z9xRnm/h8z/wsrtngt "]]}}, AspectRatio->NCache[GoldenRatio^(-1), 0.6180339887498948], Axes->True, AxesOrigin->{0, 0}, PlotRange->{{0., 100.}, {0., 5.}}, PlotRangeClipping->True, PlotRangePadding->{ Scaled[0.02], Scaled[0.02]}]], "Output", CellChangeTimes->{{3.398254268280875*^9, 3.3982542770114517`*^9}, 3.398254315424735*^9, 3.398254505872394*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ "The", " ", "previous", " ", "observations", " ", "show", " ", "that", " ", "the", " ", "next", " ", "function", " ", "is", " ", "an", " ", "integer"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.39825433134546*^9, 3.3982543491749163`*^9}}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"w2", "[", "m_", "]"}], ":=", RowBox[{ RowBox[{"w1", "[", "m", "]"}], "*", RowBox[{"2", "^", RowBox[{"(", RowBox[{"2", "*", "m"}], ")"}]}]}]}], ";"}]], "Input", CellChangeTimes->{{3.397402027397842*^9, 3.397402039484107*^9}}], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{"Some", " ", "data"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398254355843031*^9, 3.3982543591838913`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Table", "[", RowBox[{ RowBox[{"w2", "[", "m", "]"}], ",", RowBox[{"{", RowBox[{"m", ",", "1", ",", "5"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.397402054853026*^9, 3.397402065242909*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{"1", ",", "3", ",", "10", ",", "35", ",", "126"}], "}"}]], "Output",\ CellChangeTimes->{{3.397402062559581*^9, 3.397402065780369*^9}, 3.398254361513722*^9, 3.398254506056077*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{"More", " ", "data"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398254363023716*^9, 3.398254368023918*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Table", "[", RowBox[{ RowBox[{"w2", "[", "m", "]"}], ",", RowBox[{"{", RowBox[{"m", ",", "1", ",", "50"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.3974020706899023`*^9, 3.397402077218934*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ "1", ",", "3", ",", "10", ",", "35", ",", "126", ",", "462", ",", "1716", ",", "6435", ",", "24310", ",", "92378", ",", "352716", ",", "1352078", ",", "5200300", ",", "20058300", ",", "77558760", ",", "300540195", ",", "1166803110", ",", "4537567650", ",", "17672631900", ",", "68923264410", ",", "269128937220", ",", "1052049481860", ",", "4116715363800", ",", "16123801841550", ",", "63205303218876", ",", "247959266474052", ",", "973469712824056", ",", "3824345300380220", ",", "15033633249770520", ",", "59132290782430712", ",", "232714176627630544", ",", "916312070471295267", ",", "3609714217008132870", ",", "14226520737620288370", ",", "56093138908331422716", ",", "221256270138418389602", ",", "873065282167813104916", ",", "3446310324346630677300", ",", "13608507434599516007800", ",", "53753604366668088230810", ",", "212392290424395860814420", ",", "839455243105945545123660", ",", "3318776542511877736535400", ",", "13124252690842425594480900", ",", "51913710643776705684835560", ",", "205397724721029574666088520", ",", "812850570172585125274307760", ",", "3217533506933149454210801550", ",", "12738806129490428451365214300", ",", "50445672272782096667406248628"}], "}"}]], "Output", CellChangeTimes->{3.397402083263708*^9, 3.398254376030978*^9, 3.398254506156547*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ "To", " ", "determine", " ", "the", " ", "structure", " ", "of", " ", RowBox[{"w2", "[", "m", "]"}], " ", "we", " ", "consider", " ", "a", " ", "large", " ", "index"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398254518814851*^9, 3.398254540568321*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"w2", "[", "100", "]"}]], "Input", CellChangeTimes->{{3.39825454372934*^9, 3.39825454520772*^9}}], Cell[BoxData["45274257328051640582702088538742081937252294837706668420660"], \ "Output", CellChangeTimes->{3.398254546987464*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ "We", " ", "can", " ", "factor", " ", "in", " ", "into", " ", "primes", " ", "to", " ", "see", " ", "if", " ", "there", " ", "is", " ", "some", " ", "kind", " ", "of", " ", "structure"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.39825455185816*^9, 3.3982545748744307`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"FactorInteger", "[", RowBox[{"w2", "[", "100", "]"}], "]"}]], "Input", CellChangeTimes->{{3.398254577408052*^9, 3.398254587425901*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"17", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"37", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"53", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"59", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"61", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"101", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"103", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"107", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"109", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"113", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"127", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"131", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"137", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"139", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"149", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"151", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"157", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"163", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"167", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"173", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"179", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"181", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"191", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"193", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"197", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"199", ",", "1"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.39825458848557*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ "Observe", " ", "that", " ", "there", " ", "are", " ", "lots", " ", "of", " ", "consecutive", " ", "primes", " ", "in", " ", "this", " ", "factorization"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398254597902021*^9, 3.3982546176111*^9}}], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ RowBox[{ "To", " ", "make", " ", "a", " ", "list", " ", "of", " ", "just", " ", "the", " ", "primes"}], ",", " ", RowBox[{"without", " ", "the", " ", "exponents", " ", "write"}]}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398254652256865*^9, 3.398254669909452*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Table", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"FactorInteger", "[", RowBox[{"w2", "[", "100", "]"}], "]"}], "[", RowBox[{"[", "j", "]"}], "]"}], "[", RowBox[{"[", "1", "]"}], "]"}], ",", RowBox[{"{", RowBox[{"j", ",", "1", ",", RowBox[{"Length", "[", RowBox[{"FactorInteger", "[", RowBox[{"w2", "[", "100", "]"}], "]"}], "]"}]}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.39825467414898*^9, 3.398254710746477*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ "2", ",", "3", ",", "5", ",", "11", ",", "13", ",", "17", ",", "37", ",", "53", ",", "59", ",", "61", ",", "101", ",", "103", ",", "107", ",", "109", ",", "113", ",", "127", ",", "131", ",", "137", ",", "139", ",", "149", ",", "151", ",", "157", ",", "163", ",", "167", ",", "173", ",", "179", ",", "181", ",", "191", ",", "193", ",", "197", ",", "199"}], "}"}]], "Output", CellChangeTimes->{{3.398254704048957*^9, 3.398254711146913*^9}}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ "Here", " ", "is", " ", "a", " ", "list", " ", "of", " ", "the", " ", "first", " ", "50", " ", RowBox[{"primes", ".", " ", "This"}], " ", "covers", " ", "the", " ", "range", " ", "in", " ", "the", " ", "previous", " ", "list"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398254721266589*^9, 3.398254756094111*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Table", "[", RowBox[{ RowBox[{"Prime", "[", "k", "]"}], ",", RowBox[{"{", RowBox[{"k", ",", "1", ",", "50"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.3982546191750517`*^9, 3.398254633176412*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ "2", ",", "3", ",", "5", ",", "7", ",", "11", ",", "13", ",", "17", ",", "19", ",", "23", ",", "29", ",", "31", ",", "37", ",", "41", ",", "43", ",", "47", ",", "53", ",", "59", ",", "61", ",", "67", ",", "71", ",", "73", ",", "79", ",", "83", ",", "89", ",", "97", ",", "101", ",", "103", ",", "107", ",", "109", ",", "113", ",", "127", ",", "131", ",", "137", ",", "139", ",", "149", ",", "151", ",", "157", ",", "163", ",", "167", ",", "173", ",", "179", ",", "181", ",", "191", ",", "193", ",", "197", ",", "199", ",", "211", ",", "223", ",", "227", ",", "229"}], "}"}]], "Output", CellChangeTimes->{{3.39825463023099*^9, 3.398254633723031*^9}, 3.39825475903785*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ RowBox[{"Now", " ", "comes", " ", "THE", " ", RowBox[{"observation", ":", " ", RowBox[{ "if", " ", "you", " ", "see", " ", "a", " ", "number", " ", "whose", " ", "prime", " ", "factorization", " ", "includes", " ", "lots", " ", "of", " ", "consecutive", " ", "primes"}]}]}], ",", " ", RowBox[{"think", " ", "of", " ", "FACTORIALS"}]}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398254783025654*^9, 3.398254840713497*^9}}], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{"We", " ", "consider", " ", RowBox[{"200", "!"}]}], " ", "*)"}]], "Input", CellChangeTimes->{{3.3982548513737698`*^9, 3.398254863570635*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"200", "!"}]], "Input", CellChangeTimes->{{3.398254864650176*^9, 3.398254865394306*^9}}], Cell[BoxData[\ "78865786736479050355236321393218506229513597768717326329474253324435944996340\ 334292030428401198462390417721213891963883025764279024263710506192662495282993\ 111346285727076331723739698894392244562145166424025403329186413122742829485327\ 752424240757390324032125740557956866022603190417032406235170085879617892222278\ 9623703897374720000000000000000000000000000000000000000000000000"], "Output", CellChangeTimes->{3.3982548659771633`*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"FactorInteger", "[", RowBox[{"200", "!"}], "]"}]], "Input", CellChangeTimes->{{3.398254868343897*^9, 3.398254876130085*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "197"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "97"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "49"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "32"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "19"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"17", ",", "11"}], "}"}], ",", RowBox[{"{", RowBox[{"19", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"23", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"29", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"31", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"37", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"41", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"43", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"47", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"53", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"59", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"61", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"67", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"71", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"73", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"79", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"83", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"89", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"97", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"101", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"103", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"107", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"109", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"113", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"127", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"131", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"137", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"139", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"149", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"151", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"157", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"163", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"167", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"173", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"179", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"181", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"191", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"193", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"197", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"199", ",", "1"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.398254876551766*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{"Compare", " ", "this", " ", "with", " ", RowBox[{"w2", "[", "100", "]"}]}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398254884939188*^9, 3.398254895195538*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"FactorInteger", "[", RowBox[{"w2", "[", "100", "]"}], "]"}]], "Input", CellChangeTimes->{{3.398254896882367*^9, 3.398254914050456*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"17", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"37", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"53", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"59", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"61", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"101", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"103", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"107", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"109", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"113", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"127", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"131", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"137", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"139", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"149", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"151", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"157", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"163", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"167", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"173", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"179", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"181", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"191", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"193", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"197", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"199", ",", "1"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.3982549144694242`*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ RowBox[{"If", " ", "we", " ", "divide", " ", "these", " ", "numbers"}], ",", " ", RowBox[{ "we", " ", "will", " ", "get", " ", "lots", " ", "of", " ", "cancellation"}]}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398254917937331*^9, 3.398254946333456*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"w2", "[", "100", "]"}], "/", RowBox[{"200", "!"}]}]], "Input", CellChangeTimes->{{3.398254951003428*^9, 3.398254954118732*^9}}], Cell[BoxData[ RowBox[{"1", "/", "174195649781789601588331803238889717311394412878816802684318650724867599926\ 931666517559341926655098412893807615244392149527285788228718403811479213550157\ 627892149798106634595160268659859743695292147517788686269667659336030303125617\ 083253835323914749863469072070391889920000000000000000000000000000000000000000\ 00000000"}]], "Output", CellChangeTimes->{3.398254954689189*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ "Perhaps", " ", "it", " ", "is", " ", "better", " ", "the", " ", "other", " ", "way", " ", "around"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398254958286475*^9, 3.398254974508645*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"200", "!"}], "/", RowBox[{"w2", "[", "100", "]"}]}]], "Input", CellChangeTimes->{{3.398254976200466*^9, 3.398254978891569*^9}}], Cell[BoxData[\ "17419564978178960158833180323888971731139441287881680268431865072486759992693\ 166651755934192665509841289380761524439214952728578822871840381147921355015762\ 789214979810663459516026865985974369529214751778868626966765933603030312561708\ 325383532391474986346907207039188992000000000000000000000000000000000000000000\ 000000"], "Output", CellChangeTimes->{3.398254979331459*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{"An", " ", "integer"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398254988996005*^9, 3.39825499229847*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"FactorInteger", "[", RowBox[{ RowBox[{"200", "!"}], "/", RowBox[{"w2", "[", "100", "]"}]}], "]"}]], "Input", CellChangeTimes->{{3.398254995404933*^9, 3.398255003249501*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "195"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "96"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "48"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "32"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "18"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "14"}], "}"}], ",", RowBox[{"{", RowBox[{"17", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"19", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"23", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"29", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"31", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"37", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"41", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"43", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"47", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"53", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"59", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"61", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"67", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"71", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"73", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"79", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"83", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"89", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"97", ",", "2"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.398255003744063*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ RowBox[{ "It", " ", "has", " ", "only", " ", "prime", " ", "factors", " ", "up", " ", "to", " ", "100"}], ",", " ", RowBox[{"not", " ", "200"}]}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398255005658629*^9, 3.398255020228194*^9}}], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{"How", " ", "about", " ", "a", " ", "second", " ", "example"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.3982550335798073`*^9, 3.3982550424358463`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"500", "!"}], "/", RowBox[{"w2", "[", "250", "]"}]}]], "Input", CellChangeTimes->{{3.398255045589509*^9, 3.398255051892202*^9}}], Cell[BoxData[\ "20902719207398433695443952349175288743348958232788330937349405072835189722687\ 987703141516154697866165831511289750217308046656464996423460318756494678277118\ 640248399361276902312695054689967929631865088055788377063722023227251532909844\ 050910191043963336018254207517445554718415445674756574094803106837893250329820\ 053266050030514119735766713042877113733503954009300313133496991225047407995461\ 375732231124476073314607090694652093135395063700329777437009428566764329409895\ 227633439925193193058974034840008106710010275415454305092923287803058421034023\ 461766142762281240679150641070783839570592948048837006778178731252276091442531\ 155696154727951505115695007048320627333764093712632571356816463327979129812442\ 323389641813423624792100831435527704598803991213268258000004106184150929379938\ 206713094360303729454693499575570801791548581842923889072451560198220146191242\ 362880000000000000000000000000000000000000000000000000000000000000000000000000\ 000000000000000000000000000000000000000000000000000"], "Output", CellChangeTimes->{3.398255052840453*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{"Also", " ", "an", " ", "integer"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.3982550553376093`*^9, 3.398255059730216*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"FactorInteger", "[", RowBox[{ RowBox[{"500", "!"}], "/", RowBox[{"w2", "[", "250", "]"}]}], "]"}]], "Input", CellChangeTimes->{{3.398255061884816*^9, 3.398255075721175*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "489"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "246"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "124"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "80"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "48"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "40"}], "}"}], ",", RowBox[{"{", RowBox[{"17", ",", "28"}], "}"}], ",", RowBox[{"{", RowBox[{"19", ",", "26"}], "}"}], ",", RowBox[{"{", RowBox[{"23", ",", "20"}], "}"}], ",", RowBox[{"{", RowBox[{"29", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"31", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"37", ",", "12"}], "}"}], ",", RowBox[{"{", RowBox[{"41", ",", "12"}], "}"}], ",", RowBox[{"{", RowBox[{"43", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"47", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"53", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"59", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"61", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"67", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"71", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"73", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"79", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"83", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"89", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"97", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"101", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"103", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"107", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"109", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"113", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"127", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"131", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"137", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"139", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"149", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"151", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"157", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"163", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"167", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"173", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"179", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"181", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"191", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"193", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"197", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"199", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"211", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"223", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"227", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"229", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"233", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"239", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"241", ",", "2"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.398255076152783*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{"With", " ", "factors", " ", "up", " ", "to", " ", "250"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398255078064941*^9, 3.398255102731977*^9}}], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{"This", " ", "suggest", " ", "the", " ", "next", " ", "function"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398255105401292*^9, 3.398255113920195*^9}}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"w3", "[", "m_", "]"}], ":=", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{"2", "m"}], ")"}], "!"}], "/", RowBox[{"w2", "[", "m", "]"}]}]}], ";"}]], "Input", CellChangeTimes->{{3.39825511670835*^9, 3.398255127228322*^9}}], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ "We", " ", "compute", " ", "the", " ", "first", " ", "few", " ", "values"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398255144696678*^9, 3.3982551582081757`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Table", "[", RowBox[{ RowBox[{"w3", "[", "m", "]"}], ",", RowBox[{"{", RowBox[{"m", ",", "1", ",", "10"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.398255130217132*^9, 3.398255139313891*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ "2", ",", "8", ",", "72", ",", "1152", ",", "28800", ",", "1036800", ",", "50803200", ",", "3251404800", ",", "263363788800", ",", "26336378880000"}], "}"}]], "Output", CellChangeTimes->{{3.3982551397248697`*^9, 3.3982551658588877`*^9}}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ "We", " ", "have", " ", "\"\\"", " ", "the", " ", "question", " ", "of", " ", "a", " ", "formula", " ", "for", " ", RowBox[{"w", "[", "m", "]"}], " ", "to", " ", "one", " ", "for", " ", RowBox[{"w3", "[", "m", "]"}]}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398255183481468*^9, 3.398255216997818*^9}}], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{"We", " ", "try", " ", "to", " ", "factor", " ", "again"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.39825522354873*^9, 3.3982552338242083`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"w3", "[", "250", "]"}]], "Input", CellChangeTimes->{{3.3982552358433437`*^9, 3.398255247091775*^9}}], Cell[BoxData[\ "20902719207398433695443952349175288743348958232788330937349405072835189722687\ 987703141516154697866165831511289750217308046656464996423460318756494678277118\ 640248399361276902312695054689967929631865088055788377063722023227251532909844\ 050910191043963336018254207517445554718415445674756574094803106837893250329820\ 053266050030514119735766713042877113733503954009300313133496991225047407995461\ 375732231124476073314607090694652093135395063700329777437009428566764329409895\ 227633439925193193058974034840008106710010275415454305092923287803058421034023\ 461766142762281240679150641070783839570592948048837006778178731252276091442531\ 155696154727951505115695007048320627333764093712632571356816463327979129812442\ 323389641813423624792100831435527704598803991213268258000004106184150929379938\ 206713094360303729454693499575570801791548581842923889072451560198220146191242\ 362880000000000000000000000000000000000000000000000000000000000000000000000000\ 000000000000000000000000000000000000000000000000000"], "Output", CellChangeTimes->{{3.398255238420409*^9, 3.3982552475168867`*^9}}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"FactorInteger", "[", RowBox[{"w3", "[", "250", "]"}], "]"}]], "Input", CellChangeTimes->{{3.3982552505506496`*^9, 3.3982552584800873`*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "489"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "246"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "124"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "80"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "48"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "40"}], "}"}], ",", RowBox[{"{", RowBox[{"17", ",", "28"}], "}"}], ",", RowBox[{"{", RowBox[{"19", ",", "26"}], "}"}], ",", RowBox[{"{", RowBox[{"23", ",", "20"}], "}"}], ",", RowBox[{"{", RowBox[{"29", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"31", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"37", ",", "12"}], "}"}], ",", RowBox[{"{", RowBox[{"41", ",", "12"}], "}"}], ",", RowBox[{"{", RowBox[{"43", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"47", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"53", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"59", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"61", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"67", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"71", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"73", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"79", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"83", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"89", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"97", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"101", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"103", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"107", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"109", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"113", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"127", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"131", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"137", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"139", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"149", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"151", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"157", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"163", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"167", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"173", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"179", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"181", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"191", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"193", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"197", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"199", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"211", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"223", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"227", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"229", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"233", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"239", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"241", ",", "2"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.398255258895379*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ "It", " ", "has", " ", "lots", " ", "of", " ", "primes", " ", "up", " ", "to", " ", "250", " ", "and", " ", "they", " ", "are", " ", "all", " ", "squared"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398255261225696*^9, 3.3982552867283688`*^9}}], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{"How", " ", "about", " ", "trying", " ", RowBox[{"this", "?"}]}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398255289914825*^9, 3.398255297117325*^9}}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"w4", "[", "m_", "]"}], ":=", RowBox[{ RowBox[{"w3", "[", "m", "]"}], "/", RowBox[{ RowBox[{"m", "!"}], "^", "2"}]}]}], ";"}]], "Input", CellChangeTimes->{{3.398255299512218*^9, 3.398255307957514*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"w4", "[", "250", "]"}]], "Input", CellChangeTimes->{{3.398255313475422*^9, 3.3982553171407146`*^9}}], Cell[BoxData["2"], "Output", CellChangeTimes->{3.398255317809196*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ "This", " ", "has", " ", "to", " ", "be", " ", "just", " ", "luck"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398255319455978*^9, 3.398255331628765*^9}}], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{"Try", " ", "one", " ", "more", " ", "value"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398255334547709*^9, 3.3982553404365387`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"w4", "[", "500", "]"}]], "Input", CellChangeTimes->{{3.398255342717555*^9, 3.3982553444285727`*^9}}], Cell[BoxData["2"], "Output", CellChangeTimes->{3.398255344894837*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{"May", " ", "be", " ", "not"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398255346592051*^9, 3.398255350412274*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Table", "[", " ", RowBox[{ RowBox[{"w4", "[", "m", "]"}], ",", RowBox[{"{", RowBox[{"m", ",", "1", ",", "20"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.398255351551711*^9, 3.398255362780373*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ "2", ",", "2", ",", "2", ",", "2", ",", "2", ",", "2", ",", "2", ",", "2", ",", "2", ",", "2", ",", "2", ",", "2", ",", "2", ",", "2", ",", "2", ",", "2", ",", "2", ",", "2", ",", "2", ",", "2"}], "}"}]], "Output", CellChangeTimes->{3.3982553631766872`*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ "There", " ", "is", " ", "a", " ", "Theorem", " ", "in", " ", "here"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.39825536517415*^9, 3.3982553745786448`*^9}}], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ "Retrace", " ", "your", " ", "steps", " ", "to", " ", "define", " ", "the", " ", "function"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398255382962929*^9, 3.398255406378598*^9}}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"w5", "[", "m_", "]"}], ":=", RowBox[{"Pi", "*", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{"2", "m"}], ")"}], "!"}], "/", RowBox[{"(", RowBox[{ RowBox[{"2", "^", RowBox[{"(", RowBox[{ RowBox[{"2", "m"}], "+", "1"}], ")"}]}], "*", RowBox[{ RowBox[{"m", "!"}], "^", "2"}]}], ")"}]}]}]}], ";"}]], "Input", CellChangeTimes->{{3.398255408629335*^9, 3.398255440040985*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Table", "[", RowBox[{ RowBox[{"w", "[", "m", "]"}], ",", RowBox[{"{", RowBox[{"m", ",", "1", ",", "10"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.398255442574053*^9, 3.398255447377028*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ FractionBox["\[Pi]", "4"], ",", FractionBox[ RowBox[{"3", " ", "\[Pi]"}], "16"], ",", FractionBox[ RowBox[{"5", " ", "\[Pi]"}], "32"], ",", FractionBox[ RowBox[{"35", " ", "\[Pi]"}], "256"], ",", FractionBox[ RowBox[{"63", " ", "\[Pi]"}], "512"], ",", FractionBox[ RowBox[{"231", " ", "\[Pi]"}], "2048"], ",", FractionBox[ RowBox[{"429", " ", "\[Pi]"}], "4096"], ",", FractionBox[ RowBox[{"6435", " ", "\[Pi]"}], "65536"], ",", FractionBox[ RowBox[{"12155", " ", "\[Pi]"}], "131072"], ",", FractionBox[ RowBox[{"46189", " ", "\[Pi]"}], "524288"]}], "}"}]], "Output", CellChangeTimes->{3.398255447803825*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Table", "[", RowBox[{ RowBox[{"w5", "[", "m", "]"}], ",", RowBox[{"{", RowBox[{"m", ",", "1", ",", "10"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.39825544948822*^9, 3.39825545649992*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ FractionBox["\[Pi]", "4"], ",", FractionBox[ RowBox[{"3", " ", "\[Pi]"}], "16"], ",", FractionBox[ RowBox[{"5", " ", "\[Pi]"}], "32"], ",", FractionBox[ RowBox[{"35", " ", "\[Pi]"}], "256"], ",", FractionBox[ RowBox[{"63", " ", "\[Pi]"}], "512"], ",", FractionBox[ RowBox[{"231", " ", "\[Pi]"}], "2048"], ",", FractionBox[ RowBox[{"429", " ", "\[Pi]"}], "4096"], ",", FractionBox[ RowBox[{"6435", " ", "\[Pi]"}], "65536"], ",", FractionBox[ RowBox[{"12155", " ", "\[Pi]"}], "131072"], ",", FractionBox[ RowBox[{"46189", " ", "\[Pi]"}], "524288"]}], "}"}]], "Output", CellChangeTimes->{3.3982554569259577`*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ RowBox[{"Wallis", " ", "formula", " ", "states", " ", "that", " ", RowBox[{"w", "[", "m", "]"}]}], " ", "=", " ", RowBox[{"w5", "[", "m", "]"}]}], " ", "*)"}]], "Input", CellChangeTimes->{{3.398255461782892*^9, 3.398255477180194*^9}}] }, WindowSize->{800, 519}, WindowMargins->{{Automatic, 189}, {Automatic, 0}}, FrontEndVersion->"6.0 for Mac OS X x86 (32-bit) (April 20, 2007)", StyleDefinitions->"Default.nb" ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{} *) (*CellTagsIndex CellTagsIndex->{} *) (*NotebookFileOutline Notebook[{ Cell[568, 21, 266, 6, 33, "Input"], Cell[837, 29, 190, 5, 33, "Input"], Cell[1030, 36, 220, 5, 33, "Input"], Cell[CellGroupData[{ Cell[1275, 45, 122, 2, 33, "Input"], Cell[1400, 49, 92, 1, 33, "Output"] }, Open ]], Cell[1507, 53, 231, 5, 33, "Input"], Cell[CellGroupData[{ Cell[1763, 62, 143, 3, 33, "Input"], Cell[1909, 67, 115, 2, 38, "Output"] }, Open ]], Cell[2039, 72, 249, 5, 33, "Input"], Cell[CellGroupData[{ Cell[2313, 81, 180, 4, 33, "Input"], Cell[2496, 87, 138, 3, 57, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[2671, 95, 184, 4, 33, "Input"], Cell[2858, 101, 133, 2, 36, "Output"] }, Open ]], Cell[3006, 106, 287, 6, 33, "Input"], Cell[CellGroupData[{ Cell[3318, 116, 228, 6, 33, "Input"], Cell[3549, 124, 191, 5, 53, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[3777, 134, 207, 5, 33, "Input"], Cell[3987, 141, 883, 26, 42, "Output"] }, Open ]], Cell[4885, 170, 198, 4, 33, "Input"], Cell[5086, 176, 247, 7, 33, "Input"], Cell[CellGroupData[{ Cell[5358, 187, 174, 4, 33, "Input"], Cell[5535, 193, 259, 7, 38, "Output"] }, Open ]], Cell[5809, 203, 252, 5, 33, "Input"], Cell[CellGroupData[{ Cell[6086, 212, 222, 6, 33, "Input"], Cell[6311, 220, 343, 10, 38, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[6691, 235, 253, 7, 33, "Input"], Cell[6947, 244, 3950, 109, 302, "Output"] }, Open ]], Cell[10912, 356, 252, 5, 33, "Input"], Cell[11167, 363, 661, 20, 33, "Input"], Cell[11831, 385, 340, 6, 53, "Input"], Cell[CellGroupData[{ Cell[12196, 395, 120, 2, 33, "Input"], Cell[12319, 399, 142, 3, 50, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[12498, 407, 120, 2, 33, "Input"], Cell[12621, 411, 141, 3, 50, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[12799, 419, 120, 2, 33, "Input"], Cell[12922, 423, 165, 4, 54, "Output"] }, Open ]], Cell[13102, 430, 264, 5, 33, "Input"], Cell[CellGroupData[{ Cell[13391, 439, 237, 6, 33, "Input"], Cell[13631, 447, 531, 16, 54, "Output"] }, Open ]], Cell[14177, 466, 274, 6, 33, "Input"], Cell[14454, 474, 219, 6, 33, "Input"], Cell[14676, 482, 177, 3, 33, "Input"], Cell[CellGroupData[{ Cell[14878, 489, 236, 6, 33, "Input"], Cell[15117, 497, 381, 11, 54, "Output"] }, Open ]], Cell[15513, 511, 250, 5, 33, "Input"], Cell[CellGroupData[{ Cell[15788, 520, 327, 8, 33, "Input"], Cell[16118, 530, 279, 7, 33, "Output"] }, Open ]], Cell[16412, 540, 238, 6, 33, "Input"], Cell[CellGroupData[{ Cell[16675, 550, 239, 6, 33, "Input"], Cell[16917, 558, 227, 6, 33, "Output"] }, Open ]], Cell[17159, 567, 248, 6, 33, "Input"], Cell[CellGroupData[{ Cell[17432, 577, 145, 3, 33, "Input"], Cell[17580, 582, 147, 3, 33, "Output"] }, Open ]], Cell[17742, 588, 311, 8, 33, "Input"], Cell[18056, 598, 230, 5, 33, "Input"], Cell[CellGroupData[{ Cell[18311, 607, 289, 7, 33, "Input"], Cell[18603, 616, 288, 7, 33, "Output"] }, Open ]], Cell[18906, 626, 196, 4, 33, "Input"], Cell[CellGroupData[{ Cell[19127, 634, 293, 8, 33, "Input"], Cell[19423, 644, 272, 6, 33, "Output"] }, Open ]], Cell[19710, 653, 218, 5, 33, "Input"], Cell[CellGroupData[{ Cell[19953, 662, 319, 9, 33, "Input"], Cell[20275, 673, 272, 6, 33, "Output"] }, Open ]], Cell[20562, 682, 156, 3, 33, "Input"], Cell[CellGroupData[{ Cell[20743, 689, 290, 8, 33, "Input"], Cell[21036, 699, 357, 7, 33, "Output"] }, Open ]], Cell[21408, 709, 158, 3, 33, "Input"], Cell[CellGroupData[{ Cell[21591, 716, 400, 11, 33, "Input"], Cell[21994, 729, 632, 16, 301, "Output"] }, Open ]], Cell[22641, 748, 155, 3, 33, "Input"], Cell[CellGroupData[{ Cell[22821, 755, 449, 12, 33, "Input"], Cell[23273, 769, 872, 20, 306, "Output"] }, Open ]], Cell[24160, 792, 298, 6, 53, "Input"], Cell[24461, 800, 298, 9, 33, "Input"], Cell[24762, 811, 159, 3, 33, "Input"], Cell[CellGroupData[{ Cell[24946, 818, 236, 6, 33, "Input"], Cell[25185, 826, 223, 5, 33, "Output"] }, Open ]], Cell[25423, 834, 156, 3, 33, "Input"], Cell[CellGroupData[{ Cell[25604, 841, 239, 6, 33, "Input"], Cell[25846, 849, 1395, 22, 281, "Output"] }, Open ]], Cell[27256, 874, 313, 6, 33, "Input"], Cell[CellGroupData[{ Cell[27594, 884, 121, 2, 33, "Input"], Cell[27718, 888, 130, 2, 33, "Output"] }, Open ]], Cell[27863, 893, 333, 6, 53, "Input"], Cell[CellGroupData[{ Cell[28221, 903, 163, 3, 33, "Input"], Cell[28387, 908, 1972, 65, 91, "Output"] }, Open ]], Cell[30374, 976, 299, 6, 53, "Input"], Cell[30676, 984, 333, 8, 53, "Input"], Cell[CellGroupData[{ Cell[31034, 996, 512, 15, 53, "Input"], Cell[31549, 1013, 500, 9, 53, "Output"] }, Open ]], Cell[32064, 1025, 380, 8, 53, "Input"], Cell[CellGroupData[{ Cell[32469, 1037, 242, 6, 33, "Input"], Cell[32714, 1045, 748, 13, 72, "Output"] }, Open ]], Cell[33477, 1061, 507, 10, 91, "Input"], Cell[33987, 1073, 191, 4, 33, "Input"], Cell[CellGroupData[{ Cell[34203, 1081, 112, 2, 33, "Input"], Cell[34318, 1085, 456, 6, 129, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[34811, 1096, 152, 3, 33, "Input"], Cell[34966, 1101, 2881, 95, 129, "Output"] }, Open ]], Cell[37862, 1199, 214, 4, 33, "Input"], Cell[CellGroupData[{ Cell[38101, 1207, 163, 3, 33, "Input"], Cell[38267, 1212, 1975, 65, 91, "Output"] }, Open ]], Cell[40257, 1280, 324, 8, 53, "Input"], Cell[CellGroupData[{ Cell[40606, 1292, 166, 4, 33, "Input"], Cell[40775, 1298, 419, 7, 129, "Output"] }, Open ]], Cell[41209, 1308, 243, 5, 33, "Input"], Cell[CellGroupData[{ Cell[41477, 1317, 166, 4, 33, "Input"], Cell[41646, 1323, 396, 6, 110, "Output"] }, Open ]], Cell[42057, 1332, 156, 3, 33, "Input"], Cell[CellGroupData[{ Cell[42238, 1339, 208, 5, 33, "Input"], Cell[42449, 1346, 1600, 53, 72, "Output"] }, Open ]], Cell[44064, 1402, 296, 7, 33, "Input"], Cell[44363, 1411, 204, 4, 33, "Input"], Cell[CellGroupData[{ Cell[44592, 1419, 166, 4, 33, "Input"], Cell[44761, 1425, 1081, 14, 319, "Output"] }, Open ]], Cell[45857, 1442, 172, 3, 33, "Input"], Cell[CellGroupData[{ Cell[46054, 1449, 208, 5, 33, "Input"], Cell[46265, 1456, 3317, 109, 148, "Output"] }, Open ]], Cell[49597, 1568, 196, 4, 33, "Input"], Cell[49796, 1574, 204, 4, 33, "Input"], Cell[50003, 1580, 287, 9, 33, "Input"], Cell[50293, 1591, 218, 5, 33, "Input"], Cell[CellGroupData[{ Cell[50536, 1600, 237, 6, 33, "Input"], Cell[50776, 1608, 288, 6, 53, "Output"] }, Open ]], Cell[51079, 1617, 378, 7, 53, "Input"], Cell[51460, 1626, 197, 4, 33, "Input"], Cell[CellGroupData[{ Cell[51682, 1634, 125, 2, 33, "Input"], Cell[51810, 1638, 1107, 14, 319, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[52954, 1657, 167, 3, 33, "Input"], Cell[53124, 1662, 3317, 109, 148, "Output"] }, Open ]], Cell[56456, 1774, 304, 6, 33, "Input"], Cell[56763, 1782, 203, 4, 33, "Input"], Cell[56969, 1788, 266, 8, 33, "Input"], Cell[CellGroupData[{ Cell[57260, 1800, 125, 2, 33, "Input"], Cell[57388, 1804, 70, 1, 33, "Output"] }, Open ]], Cell[57473, 1808, 209, 5, 33, "Input"], Cell[57685, 1815, 186, 4, 33, "Input"], Cell[CellGroupData[{ Cell[57896, 1823, 125, 2, 33, "Input"], Cell[58024, 1827, 70, 1, 33, "Output"] }, Open ]], Cell[58109, 1831, 165, 3, 33, "Input"], Cell[CellGroupData[{ Cell[58299, 1838, 242, 6, 33, "Input"], Cell[58544, 1846, 308, 6, 33, "Output"] }, Open ]], Cell[58867, 1855, 212, 5, 33, "Input"], Cell[59082, 1862, 235, 5, 33, "Input"], Cell[59320, 1869, 504, 17, 33, "Input"], Cell[CellGroupData[{ Cell[59849, 1890, 236, 6, 33, "Input"], Cell[60088, 1898, 723, 22, 54, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[60848, 1925, 235, 6, 33, "Input"], Cell[61086, 1933, 725, 22, 54, "Output"] }, Open ]], Cell[61826, 1958, 293, 6, 33, "Input"] } ] *) (* End of internal cache information *)