{"version":10,"randomSeed":"1cc847c1d4f3fa8149558223278db0e4","graph":{"viewport":{"xmin":-0.8677719394646615,"ymin":-2.5645760044562387,"xmax":32.542103522888944,"ymax":5.552787388787118},"squareAxes":false},"expressions":{"list":[{"type":"expression","id":"5","color":"#6042a6","latex":"k=26","slider":{"hardMin":true,"hardMax":true,"min":"1","max":"40","step":"1"}},{"type":"expression","id":"6","color":"#000000","latex":"n=60","slider":{"hardMin":true,"hardMax":true,"min":"1","max":"60","step":"1"}},{"type":"expression","id":"16","color":"#6042a6","latex":"j=22","slider":{"hardMin":true,"hardMax":true,"min":"1","max":"30","step":"1"}},{"type":"expression","id":"9","color":"#2d70b3","latex":"L=\\left[\\operatorname{length}\\left(\\operatorname{unique}\\left(\\operatorname{floor}\\left(k\\operatorname{random}\\left(n\\right)\\right)\\right)\\right)\\operatorname{for}i=\\left[1...3000\\right]\\right]"},{"type":"expression","id":"14","color":"#2d70b3","latex":"\\frac{\\operatorname{total}\\left(\\left\\{L\\le j:1,0\\right\\}\\right)}{\\operatorname{length}\\left(L\\right)}"},{"type":"expression","id":"15","color":"#388c46","latex":"\\frac{\\operatorname{nCr}\\left(k,j\\right)\\left(j^{n}\\right)}{k^{n}}"},{"type":"expression","id":"19","color":"#388c46","latex":"R_{2}=\\left[\\left|\\ln\\left(\\operatorname{nCr}\\left(k,s\\right)\\right)+s\\ln\\left(1-\\left(\\frac{k-1}{k}\\right)^{n}\\right)+n\\left(k-s\\right)\\ln\\left(\\frac{k-1}{k}\\right)-\\ln\\left(\\frac{\\operatorname{total}\\left(\\left\\{L=s:1,0\\right\\}\\right)+1}{\\operatorname{length}\\left(L\\right)+1}\\right)\\right|\\operatorname{for}s=\\left[1...k\\right]\\right]"},{"type":"expression","id":"27","color":"#c74440","latex":"\\operatorname{mean}\\left(R_{2}\\left[14...\\right]\\right)"},{"type":"expression","id":"17","color":"#c74440","latex":"\\operatorname{binomialdist}\\left(k,1-\\left(\\frac{k-1}{k}\\right)^{n}\\right)"},{"type":"expression","id":"1","color":"#c74440","latex":"\\operatorname{histogram}\\left(L\\right)","vizProps":{"histogramMode":"density"}}]}}