%%Page: 1 1 1 0 bop Black 0 TeXcolorgray Black Black Black Black 10800 7667 a @beginspecial 0 @llx 0 @lly 99 @urx 16 @ury 2880 @rwi @setspecial%%BeginDocument: logo129.eps %!PS-Adobe-2.0 EPSF-2.0 %%Title: logo128.eps %%Creator: fig2dev Version 3.2.3 Patchlevel %%CreationDate: Thu Nov 8 16:13:04 2001 %%For: pope@fry.research.att.com (Sue Pope) %%BoundingBox: 0 0 99 16 %%Magnification: 0.1500 %%EndComments /$F2psDict 200 dict def $F2psDict begin $F2psDict /mtrx matrix put /col-1 {0 setgray} bind def /col0 {0.000 0.000 0.000 srgb} bind def /col1 {0.000 0.000 1.000 srgb} bind def /col2 {0.000 1.000 0.000 srgb} bind def /col3 {0.000 1.000 1.000 srgb} bind def /col4 {1.000 0.000 0.000 srgb} bind def /col5 {1.000 0.000 1.000 srgb} bind def /col6 {1.000 1.000 0.000 srgb} bind def /col7 {1.000 1.000 1.000 srgb} bind def /col8 {0.000 0.000 0.560 srgb} bind def /col9 {0.000 0.000 0.690 srgb} bind def /col10 {0.000 0.000 0.820 srgb} bind def /col11 {0.530 0.810 1.000 srgb} bind def /col12 {0.000 0.560 0.000 srgb} bind def /col13 {0.000 0.690 0.000 srgb} bind def /col14 {0.000 0.820 0.000 srgb} bind def /col15 {0.000 0.560 0.560 srgb} bind def /col16 {0.000 0.690 0.690 srgb} bind def /col17 {0.000 0.820 0.820 srgb} bind def /col18 {0.560 0.000 0.000 srgb} bind def /col19 {0.690 0.000 0.000 srgb} bind def /col20 {0.820 0.000 0.000 srgb} bind def /col21 {0.560 0.000 0.560 srgb} bind def /col22 {0.690 0.000 0.690 srgb} bind def /col23 {0.820 0.000 0.820 srgb} bind def /col24 {0.500 0.190 0.000 srgb} bind def /col25 {0.630 0.250 0.000 srgb} bind def /col26 {0.750 0.380 0.000 srgb} bind def /col27 {1.000 0.500 0.500 srgb} bind def /col28 {1.000 0.630 0.630 srgb} bind def /col29 {1.000 0.750 0.750 srgb} bind def /col30 {1.000 0.880 0.880 srgb} bind def /col31 {1.000 0.840 0.000 srgb} bind def end save newpath 0 16 moveto 0 0 lineto 99 0 lineto 99 16 lineto closepath clip newpath -12.0 26.0 translate 1 -1 scale /cp {closepath} bind def /ef {eofill} bind def /gr {grestore} bind def /gs {gsave} bind def /sa {save} bind def /rs {restore} bind def /l {lineto} bind def /m {moveto} bind def /rm {rmoveto} bind def /n {newpath} bind def /s {stroke} bind def /sh {show} bind def /slc {setlinecap} bind def /slj {setlinejoin} bind def /slw {setlinewidth} bind def /srgb {setrgbcolor} bind def /rot {rotate} bind def /sc {scale} bind def /sd {setdash} bind def /ff {findfont} bind def /sf {setfont} bind def /scf {scalefont} bind def /sw {stringwidth} bind def /tr {translate} bind def /tnt {dup dup currentrgbcolor 4 -2 roll dup 1 exch sub 3 -1 roll mul add 4 -2 roll dup 1 exch sub 3 -1 roll mul add 4 -2 roll dup 1 exch sub 3 -1 roll mul add srgb} bind def /shd {dup dup currentrgbcolor 4 -2 roll mul 4 -2 roll mul 4 -2 roll mul srgb} bind def /DrawEllipse { /endangle exch def /startangle exch def /yrad exch def /xrad exch def /y exch def /x exch def /savematrix mtrx currentmatrix def x y tr xrad yrad sc 0 0 1 startangle endangle arc closepath savematrix setmatrix } def /$F2psBegin {$F2psDict begin /$F2psEnteredState save def} def /$F2psEnd {$F2psEnteredState restore end} def $F2psBegin %%Page: 1 1 10 setmiterlimit 0.00900 0.00900 sc 7.500 slw % Ellipse n 2213 1988 856 856 0 360 DrawEllipse gs col4 1.00 shd ef gr gs col4 s gr % Ellipse n 2213 1991 813 813 0 360 DrawEllipse gs col8 1.00 shd ef gr gs col8 s gr % Ellipse n 1602 1879 177 177 0 360 DrawEllipse gs col11 1.00 shd ef gr gs col11 s gr % Ellipse n 2001 2575 177 177 0 360 DrawEllipse gs col11 1.00 shd ef gr gs col11 s gr % Ellipse n 2831 1877 177 177 0 360 DrawEllipse gs col11 1.00 shd ef gr gs col11 s gr % Ellipse n 2618 1509 177 177 0 360 DrawEllipse gs col11 1.00 shd ef gr gs col11 s gr % Ellipse n 1806 1519 177 177 0 360 DrawEllipse gs col11 1.00 shd ef gr gs col11 s gr % Ellipse n 2205 1364 177 177 0 360 DrawEllipse gs col11 1.00 shd ef gr gs col11 s gr % Ellipse n 1669 2290 177 177 0 360 DrawEllipse gs col11 1.00 shd ef gr gs col11 s gr % Ellipse n 2762 2305 177 177 0 360 DrawEllipse gs col11 1.00 shd ef gr gs col11 s gr % Ellipse n 2439 2579 177 177 0 360 DrawEllipse gs col11 1.00 shd ef gr gs col11 s gr % Ellipse n 2220 1992 440 440 0 360 DrawEllipse gs col4 1.00 shd ef gr gs col4 s gr % Ellipse n 2618 1509 141 141 0 360 DrawEllipse gs col30 1.00 shd ef gr gs col30 s gr % Ellipse n 1805 1515 141 141 0 360 DrawEllipse gs col30 1.00 shd ef gr gs col30 s gr % Ellipse n 1669 2290 141 141 0 360 DrawEllipse gs col30 1.00 shd ef gr gs col30 s gr % Ellipse n 2205 1360 141 141 0 360 DrawEllipse gs col30 1.00 shd ef gr gs col30 s gr % Ellipse n 2762 2305 141 141 0 360 DrawEllipse gs col30 1.00 shd ef gr gs col30 s gr % Ellipse n 1600 1875 141 141 0 360 DrawEllipse gs col30 1.00 shd ef gr gs col30 s gr % Ellipse n 2439 2579 141 141 0 360 DrawEllipse gs col30 1.00 shd ef gr gs col30 s gr % Ellipse n 2831 1877 141 141 0 360 DrawEllipse gs col30 1.00 shd ef gr gs col30 s gr % Ellipse n 2001 2573 141 141 0 360 DrawEllipse gs col30 1.00 shd ef gr gs col30 s gr /Times-Bold ff 225.00 scf sf 1997 2652 m gs 1 -1 sc (23) dup sw pop 2 div neg 0 rm col0 sh gr /Times-Bold ff 225.00 scf sf 2438 2659 m gs 1 -1 sc (11) dup sw pop 2 div neg 0 rm col0 sh gr /Times-Roman ff 480.00 scf sf 3375 2205 m gs 1 -1 sc (Article 03.1.2) col0 sh gr /Times-Roman ff 480.00 scf sf 3375 1650 m gs 1 -1 sc (Journal of Integer Sequences, Vol. 6 \(2003\),) col0 sh gr /Times-Bold ff 225.00 scf sf 2618 1592 m gs 1 -1 sc (2) dup sw pop 2 div neg 0 rm col0 sh gr /Times-Bold ff 225.00 scf sf 2830 1956 m gs 1 -1 sc (3) dup sw pop 2 div neg 0 rm col0 sh gr /Times-Bold ff 225.00 scf sf 2761 2386 m gs 1 -1 sc (6) dup sw pop 2 div neg 0 rm col0 sh gr % Ellipse n 1805 1517 42 42 0 360 DrawEllipse gs 0.00 setgray ef gr gs col0 s gr % Polyline n 2554 1797 m 2554 1796 l 2554 1790 l 2554 1779 l 2554 1765 l 2553 1753 l 2552 1743 l 2550 1736 l 2548 1730 l 2544 1725 l 2540 1721 l 2534 1717 l 2528 1713 l 2521 1711 l 2514 1709 l 2507 1708 l 2499 1707 l 2492 1707 l 2483 1707 l 2474 1707 l 2465 1708 l 2456 1710 l 2447 1712 l 2438 1714 l 2431 1717 l 2423 1720 l 2416 1724 l 2408 1728 l 2401 1734 l 2394 1739 l 2388 1745 l 2382 1751 l 2377 1756 l 2372 1762 l 2368 1768 l 2363 1775 l 2359 1783 l 2356 1791 l 2352 1799 l 2350 1807 l 2348 1814 l 2346 1823 l 2345 1831 l 2345 1841 l 2345 1852 l 2346 1863 l 2349 1873 l 2352 1884 l 2356 1894 l 2360 1902 l 2365 1910 l 2371 1919 l 2378 1928 l 2385 1937 l 2393 1946 l 2401 1955 l 2409 1963 l 2417 1970 l 2425 1977 l 2435 1985 l 2446 1993 l 2457 2000 l 2467 2008 l 2477 2015 l 2487 2021 l 2494 2027 l 2501 2033 l 2506 2038 l 2510 2043 l 2513 2049 l 2515 2055 l 2516 2061 l 2516 2067 l 2516 2073 l 2514 2079 l 2510 2087 l 2505 2095 l 2498 2104 l 2490 2113 l 2481 2120 l 2473 2125 l 2465 2129 l 2458 2131 l 2449 2133 l 2440 2134 l 2431 2134 l 2422 2133 l 2414 2131 l 2406 2128 l 2396 2122 l 2385 2115 l 2375 2107 l 2366 2101 l 2359 2097 l 2353 2096 l 2350 2098 l 2347 2101 l 2346 2107 l 2344 2114 l 2344 2122 l 2344 2130 l 2345 2138 l 2346 2145 l 2347 2151 l 2349 2158 l 2352 2164 l 2355 2169 l 2360 2174 l 2364 2179 l 2370 2182 l 2375 2186 l 2382 2188 l 2390 2190 l 2399 2193 l 2409 2194 l 2419 2195 l 2429 2196 l 2438 2196 l 2448 2196 l 2456 2195 l 2465 2194 l 2475 2192 l 2484 2189 l 2493 2187 l 2501 2183 l 2509 2180 l 2516 2177 l 2524 2172 l 2533 2166 l 2541 2159 l 2548 2152 l 2555 2144 l 2560 2137 l 2565 2129 l 2569 2121 l 2573 2111 l 2576 2102 l 2579 2093 l 2581 2084 l 2583 2076 l 2584 2068 l 2584 2058 l 2584 2049 l 2583 2040 l 2582 2032 l 2580 2023 l 2577 2014 l 2572 2004 l 2568 1994 l 2563 1984 l 2558 1976 l 2552 1968 l 2546 1960 l 2538 1952 l 2531 1945 l 2524 1938 l 2517 1932 l 2509 1926 l 2501 1921 l 2493 1914 l 2484 1908 l 2476 1902 l 2468 1897 l 2461 1890 l 2453 1883 l 2445 1876 l 2437 1869 l 2431 1862 l 2427 1856 l 2423 1849 l 2420 1842 l 2418 1835 l 2417 1830 l 2417 1825 l 2417 1820 l 2417 1816 l 2418 1812 l 2419 1808 l 2419 1806 l 2420 1803 l 2421 1801 l 2422 1798 l 2424 1796 l 2425 1794 l 2427 1792 l 2429 1789 l 2431 1787 l 2433 1785 l 2436 1783 l 2437 1781 l 2439 1780 l 2442 1779 l 2444 1778 l 2446 1778 l 2448 1777 l 2450 1777 l 2452 1777 l 2455 1777 l 2457 1777 l 2460 1776 l 2462 1776 l 2465 1775 l 2468 1775 l 2470 1775 l 2473 1775 l 2476 1775 l 2479 1776 l 2482 1776 l 2484 1777 l 2487 1777 l 2489 1777 l 2492 1778 l 2495 1779 l 2498 1780 l 2502 1782 l 2506 1785 l 2510 1788 l 2514 1790 l 2517 1792 l 2520 1794 l 2522 1795 l 2524 1796 l 2525 1798 l 2527 1799 l 2529 1800 l 2531 1802 l 2534 1805 l 2536 1807 l 2539 1809 l 2540 1811 l 2542 1812 l 2544 1813 l 2546 1814 l 2547 1814 l 2549 1813 l 2550 1811 l 2552 1808 l 2554 1804 l 2555 1801 l 2556 1798 l 2556 1796 l 2557 1795 l 2557 1793 l 2557 1792 l gs 0.00 setgray ef gr gs col0 s gr % Polyline n 1871 1753 m 1902 1705 l 2090 1705 l 2075 1753 l 2075 2255 l 2012 2317 l 1933 2317 l 2012 2255 l 2012 1753 l 1871 1753 l 1918 1737 l cp gs 0.00 setgray ef gr gs col0 s gr % Polyline n 2169 1705 m 2278 1705 l 2263 1720 l 2247 1753 l 2247 2129 l 2278 2191 l 2152 2191 l 2169 2176 l 2185 2129 l 2185 2098 l 2185 1753 l cp gs 0.00 setgray ef gr gs col0 s gr % Ellipse n 1600 1877 42 42 0 360 DrawEllipse gs 0.00 setgray ef gr gs col0 s gr /Times-Bold ff 225.00 scf sf 2197 1439 m gs 1 -1 sc (1) dup sw pop 2 div neg 0 rm col0 sh gr /Times-Bold ff 225.00 scf sf 1667 2376 m gs 1 -1 sc (47) dup sw pop 2 div neg 0 rm col0 sh gr $F2psEnd rs %%EndDocument @endspecial Black Black 8768 13783 a Fr(Derangemen)-72 b(ts)863 b(and)d(Applications)21763 18925 y Fq(Mehdi)520 b(Hassani)17160 22493 y(Departmen)-43 b(t)520 b(of)g(Mathematics)10319 24485 y(Institute)g(for)g(Adv)-87 b(anced)521 b(Studies)e(in)h(Basic)g (Sciences)22551 26478 y(Zanjan,)h(Iran)p 0 1 0 0 TeXcolorcmyk 18597 28470 a Fp(mhassani@iasbs.ac.ir)p [[239 461 387 473] [1 1 1 [3 3]] [0 0 1]] (mailto:mhassani@iasbs.ac.ir) pdfm Black Black Black 24133 34303 a Fo(Abstract)p Black Black 5870 36472 a Fn(In)311 b(this)g(pap)34 b(er)311 b(w)-34 b(e)311 b(in)-34 b(tro)34 b(duce)312 b(some)e(form)-34 b(ulas)312 b(for)f(the)g(n)-34 b(um)g(b)34 b(er)312 b(of)g(derangemen) -34 b(ts.)508 b(Then)312 b(w)-34 b(e)4052 37978 y(de\257ne)359 b(the)h(derangemen)-34 b(t)360 b(function)g(and)g(use)g(the)f(soft)-34 b(w)g(are)361 b(pac)-34 b(k)-67 b(age)358 b(MAPLE)h(to)g(obtain)h(some) 4052 39483 y(in)-34 b(tegrals)445 b(related)f(to)h(the)g(incomplete)g (gamma)f(function)j(and)e(also)g(to)g(some)f(h)-34 b(yp)34 b(ergeometric)4052 40989 y(summations.)800 45416 y Fm(1)2152 b(In)-60 b(tro)60 b(duction)715 b(and)i(motiv)-120 b(ation)800 48336 y Fl(A)421 b(p)36 b(erm)-36 b(utation)420 b(of)i Fk(S)11895 48535 y Fj(n)12890 48336 y Fl(=)368 b Fi(f)p Fl(1)p Fk(;)221 b Fl(2)p Fk(;)g Fl(3)p Fk(;)g Fi(\242)g(\242)g(\242)447 b Fk(;)221 b(n)p Fi(g)422 b Fl(that)f(has)f(no)h(\257xed)g(p)36 b(oin)-36 b(ts)420 b(is)i(a)f Fh(der)-66 b(angement)545 b Fl(of)421 b Fk(S)49342 48535 y Fj(n)49968 48336 y Fl(.)574 b(Let)800 49941 y Fk(D)1880 50140 y Fj(n)2940 49941 y Fl(denote)433 b(the)g(n)-36 b(um)g(b)36 b(er)432 b(of)i(derangemen)-36 b(ts)433 b(of)h Fk(S)26075 50140 y Fj(n)26701 49941 y Fl(.)579 b(It)433 b(is)h(w)-36 b(ell-kno)g(wn)434 b(that)21474 53745 y Fk(D)22554 53944 y Fj(n)23549 53745 y Fl(=)368 b Fk(n)p Fl(!)26962 52084 y Fj(n)26289 52483 y Fg(X)26487 55282 y Fj(i)p Ff(=0)28561 52846 y Fl(\()p Fi(\241)p Fl(1\))31256 52364 y Fj(i)p 28561 53439 3071 54 v 29694 54656 a Fk(i)p Fl(!)31765 53745 y Fk(;)19012 b Fl(\(1\))13486 58718 y Fk(D)14566 58917 y Fj(n)15561 58718 y Fl(=)369 b Fi(k)17739 57819 y Fk(n)p Fl(!)p 17739 58412 1138 54 v 18006 59629 a Fk(e)19009 58718 y Fi(k)1575 b Fl(\()p Fi(k)434 b(k)g Fl(denotes)f(the)g(nearest)g(in)-36 b(teger\))p Fk(:)11024 b Fl(\(2\))800 61426 y(W)-108 b(e)434 b(can)f(rewrite)h (\(2\))f(as)h(follo)-36 b(ws:)22340 63690 y Fk(D)23420 63889 y Fj(n)24416 63690 y Fl(=)368 b Fi(b)26519 62791 y Fk(n)p Fl(!)p 26519 63384 V 26787 64601 a Fk(e)28085 63690 y Fl(+)29525 62791 y(1)p 29525 63384 651 54 v 29525 64601 a(2)30308 63690 y Fi(c)p Fk(:)800 66496 y Fl(W)-108 b(e)434 b(can)f(generalize)i(the)e(ab)36 b(o)-36 b(v)g(e)434 b(form)-36 b(ula)434 b(replacing)27813 65973 y Ff(1)p 27813 66190 471 54 v 27813 66954 a(2)28850 66496 y Fl(b)-36 b(y)433 b(ev)-36 b(ery)434 b Fk(m)369 b Fi(2)g Fl([)37344 65973 y Ff(1)p 37344 66190 V 37344 66954 a(3)37947 66496 y Fk(;)38663 65973 y Ff(1)p 38663 66190 V 38663 66954 a(2)39266 66496 y Fl(].)579 b(In)433 b(fact)h(w)-36 b(e)434 b(ha)-36 b(v)g(e:)p Black Black eop %%Page: 2 2 2 1 bop Black 0 TeXcolorgray Black 52150 -272 a Fl(2)p Black Black 800 3824 a Fe(Theorem)499 b(1.1)p Black 651 w Fh(Supp)-66 b(ose)465 b Fk(n)370 b Fi(\270)f Fl(1)465 b Fh(is)g(an)g(inte)-66 b(ger,)462 b(we)j(have)14432 7492 y Fk(D)15512 7691 y Fj(n)16507 7492 y Fl(=)17887 5619 y Fg(\275)19437 6678 y Fi(b)20160 6155 y Fj(n)p Ff(!)p 20160 6372 833 54 v 20358 7136 a Fj(e)21421 6678 y Fl(+)295 b Fk(m)23866 6877 y Ff(1)24391 6678 y Fi(c)p Fk(;)1108 b(n)465 b Fl(is)g(o)36 b(dd)p Fk(;)221 b(m)32882 6877 y Ff(1)33777 6678 y Fi(2)369 b Fl([0)p Fk(;)36759 6155 y Ff(1)p 36759 6372 471 54 v 36759 7136 a(2)37362 6678 y Fl(];)19437 8297 y Fi(b)20160 7774 y Fj(n)p Ff(!)p 20160 7992 833 54 v 20358 8756 a Fj(e)21421 8297 y Fl(+)295 b Fk(m)23866 8496 y Ff(2)24391 8297 y Fi(c)p Fk(;)1108 b(n)465 b Fl(is)g(ev)-36 b(en)p Fk(;)221 b(m)33279 8496 y Ff(2)34175 8297 y Fi(2)368 b Fl([)35923 7774 y Ff(1)p 35923 7992 471 54 v 35923 8756 a(3)36526 8297 y Fk(;)221 b Fl(1])p Fk(:)51138 7492 y Fl(\(3\))2751 11305 y(F)-108 b(or)581 b(a)h(pro)36 b(of)582 b(of)g(this)f(theorem,)619 b(see)581 b(Hassani)h([3].)1023 b(A)-36 b(t)581 b(the)g(end)g(of)h(the) f(next)h(section)f(w)-36 b(e)582 b(giv)-36 b(e)800 12910 y(another)433 b(pro)36 b(of)434 b(of)h(it.)2751 16120 y(On)443 b(the)g(other)h(hand,)h(the)f(idea)g(of)g(pro)-36 b(ving)444 b(\(2\))g(leads)g(to)g(a)g(family)h(of)g(form)-36 b(ulas)444 b(for)g(the)g(n)-36 b(um)g(b)36 b(er)800 17725 y(of)434 b(derangemen)-36 b(ts,)433 b(as)h(follo)-36 b(ws:)581 b(w)-36 b(e)433 b(ha)-36 b(v)g(e)7079 21226 y Fi(j)7581 20327 y Fk(n)p Fl(!)p 7581 20920 1138 54 v 7849 22137 a Fk(e)9147 21226 y Fi(\241)295 b Fk(D)11555 21425 y Fj(n)12182 21226 y Fi(j)369 b(\267)16150 20327 y Fl(1)p 14454 20920 4041 54 v 14454 22137 a(\()p Fk(n)296 b Fl(+)f(1\))18923 21226 y(+)24078 20327 y(1)p 20363 20920 8081 54 v 20363 22137 a(\()p Fk(n)g Fl(+)g(1\)\()p Fk(n)g Fl(+)g(2\))28871 21226 y(+)36046 20327 y(1)p 30311 20920 12122 54 v 30311 22137 a(\()p Fk(n)g Fl(+)g(1\)\()p Fk(n)h Fl(+)e(2\)\()p Fk(n)i Fl(+)f(3\))42860 21226 y(+)g Fi(\242)221 b(\242)g(\242)443 b Fk(:)800 24887 y Fl(Let)433 b Fk(M)139 b Fl(\()p Fk(n)p Fl(\))434 b(denote)f(the)g(righ)-36 b(t)433 b(side)h(of)g(ab)36 b(o)-36 b(v)g(e)434 b(inequalit)-36 b(y)-108 b(.)579 b(W)-108 b(e)434 b(ha)-36 b(v)g(e)15810 28395 y Fk(M)139 b Fl(\()p Fk(n)p Fl(\))370 b Fk(<)22573 27496 y Fl(1)p 20878 28089 4041 54 v 20878 29306 a(\()p Fk(n)295 b Fl(+)g(1\))25346 28395 y(+)28744 27496 y(1)p 26786 28089 4567 54 v 26786 29306 a(\()p Fk(n)g Fl(+)g(1\))30826 28922 y Ff(2)31780 28395 y Fl(+)g Fi(\242)221 b(\242)g(\242)370 b Fl(=)36582 27496 y(1)p 36519 28089 777 54 v 36519 29306 a Fk(n)37428 28395 y(;)800 31982 y Fl(and)433 b(therefore)18278 35224 y Fk(D)19358 35423 y Fj(n)20353 35224 y Fl(=)369 b Fi(b)22457 34326 y Fk(n)p Fl(!)p 22457 34919 1138 54 v 22725 36136 a Fk(e)24023 35224 y Fl(+)25526 34326 y(1)p 25463 34919 777 54 v 25463 36136 a Fk(n)26372 35224 y Fi(c)1575 b Fl(\()p Fk(n)369 b Fi(\270)g Fl(2\))p Fk(:)p Black 18031 w Fl(\(4\))p Black 800 38553 a(Also)434 b(w)-36 b(e)434 b(can)g(get)g(a)f(b)36 b(etter)433 b(b)36 b(ound)433 b(for)h Fk(M)139 b Fl(\()p Fk(n)p Fl(\))433 b(as)h(follo)-36 b(ws)10526 42061 y Fk(M)139 b Fl(\()p Fk(n)p Fl(\))369 b Fk(<)16782 41163 y Fl(1)p 15593 41756 3029 54 v 15593 42972 a Fk(n)296 b Fl(+)f(1)18755 42061 y(\(1)g(+)23341 41163 y(1)p 21646 41756 4041 54 v 21646 42972 a(\()p Fk(n)g Fl(+)g(2\))26114 42061 y(+)29512 41163 y(1)p 27554 41756 4567 54 v 27554 42972 a(\()p Fk(n)g Fl(+)g(2\))31594 42589 y Ff(2)32548 42061 y Fl(+)g Fi(\242)221 b(\242)g(\242)h Fl(\))369 b(=)38783 41163 y Fk(n)295 b Fl(+)g(2)p 38014 41756 V 38014 42972 a(\()p Fk(n)h Fl(+)e(1\))42054 42589 y Ff(2)42713 42061 y Fk(;)800 45648 y Fl(and)433 b(similarly)16383 49149 y Fk(D)17463 49348 y Fj(n)18459 49149 y Fl(=)368 b Fi(b)20562 48250 y Fk(n)p Fl(!)p 20562 48844 1138 54 v 20830 50060 a Fk(e)22128 49149 y Fl(+)24336 48250 y Fk(n)296 b Fl(+)f(2)p 23568 48844 4567 54 v 23568 50060 a(\()p Fk(n)g Fl(+)g(1\))27608 49677 y Ff(2)28267 49149 y Fi(c)1575 b Fl(\()p Fk(n)369 b Fi(\270)g Fl(2\))p Fk(:)p Black 16136 w Fl(\(5\))p Black 800 52810 a(The)380 b(ab)36 b(o)-36 b(v)g(e)381 b(idea)g(is)f(extensible,)392 b(but)379 b(b)36 b(efore)381 b(extending)f(w)-36 b(e)381 b(recall)g(a)f(useful)h (form)-36 b(ula)380 b(\(see)h([2,)391 b(3]\).)561 b(F)-108 b(or)800 54415 y(ev)-36 b(ery)434 b(p)36 b(ositiv)-36 b(e)435 b(in)-36 b(teger)433 b Fk(n)370 b Fi(\270)f Fl(1,)434 b(w)-36 b(e)434 b(ha)-36 b(v)g(e)22190 56609 y Fj(n)21516 57007 y Fg(X)21714 59807 y Fj(i)p Ff(=0)23789 57371 y Fk(n)p Fl(!)p 23789 57964 1138 54 v 23955 59180 a Fk(i)p Fl(!)25428 58269 y(=)369 b Fi(b)p Fk(en)p Fl(!)p Fi(c)p Fk(:)p Black 21048 w Fl(\(6\))p Black 800 63378 a Fm(2)2152 b(New)717 b(families)f(and)g(some)i(other)e(form)-60 b(ulas)p Black 800 66298 a Fe(Theorem)499 b(2.1)p Black 651 w Fh(Supp)-66 b(ose)615 b Fk(m)f Fh(is)g(an)g(inte)-66 b(ger)613 b(and)h Fk(m)645 b Fi(\270)i Fl(3)p Fh(.)1046 b(The)614 b(numb)-66 b(er)613 b(of)h(der)-66 b(angements)613 b(of)h Fk(n)800 67903 y Fh(distinct)463 b(obje)-66 b(cts)464 b Fl(\()p Fk(n)369 b Fi(\270)g Fl(2\))465 b Fh(is)5594 71552 y Fk(D)6674 71751 y Fj(n)7669 71552 y Fl(=)368 b Fi(b)p Fl(\()10278 70653 y Fi(b)p Fk(e)p Fl(\()p Fk(n)296 b Fl(+)f Fk(m)g Fi(\241)g Fl(2\)!)p Fi(c)p 10278 71246 8947 54 v 11170 72463 a Fl(\()p Fk(n)h Fl(+)f Fk(m)f Fi(\241)i Fl(2\)!)19653 71552 y(+)26317 70653 y Fk(n)f Fl(+)g Fk(m)p 21093 71246 13965 54 v 21093 72463 a Fl(\()p Fk(n)g Fl(+)g Fk(m)g Fi(\241)g Fl(1\)\()p Fk(n)h Fl(+)e Fk(m)h Fi(\241)h Fl(1\)!)35485 71552 y(+)f Fk(e)37395 71003 y Fd(\241)p Ff(1)38652 71552 y Fl(\))p Fk(n)p Fl(!)p Fi(c)i(\241)e(b)p Fk(en)p Fl(!)p Fi(c)p Fk(:)p Black 5347 w Fl(\(7\))p Black Black Black eop %%Page: 3 3 3 2 bop Black 0 TeXcolorgray Black 52150 -272 a Fl(3)p Black Black 800 3824 a Fe(Pro)42 b(of)p Fl(:)p Black 650 w(F)-108 b(or)434 b Fk(m)368 b Fi(\270)h Fl(3)434 b(w)-36 b(e)434 b(ha)-36 b(v)g(e)6490 6728 y Fi(j)6992 5829 y Fk(n)p Fl(!)p 6992 6422 1138 54 v 7259 7639 a Fk(e)8558 6728 y Fi(\241)295 b Fk(D)10966 6927 y Fj(n)11592 6728 y Fi(j)369 b Fk(<)15539 5829 y Fl(1)p 13843 6422 4041 54 v 13843 7639 a(\()p Fk(n)296 b Fl(+)f(1\))18017 6728 y(\(1)g(+)22603 5829 y(1)p 20908 6422 V 20908 7639 a(\()p Fk(n)g Fl(+)g(2\))25081 6728 y(\()p Fi(\242)221 b(\242)g(\242)h Fl(1)295 b(+)32819 5829 y(1)p 29743 6422 6802 54 v 29743 7639 a(\()p Fk(n)g Fl(+)g Fk(m)g Fi(\241)g Fl(1\))36677 6728 y(\()38453 5829 y Fk(n)h Fl(+)e Fk(m)p 37316 6422 5790 54 v 37316 7639 a(n)i Fl(+)e Fk(m)h Fi(\241)h Fl(1)43239 6728 y(\))221 b Fi(\242)g(\242)g(\242)h Fl(\)\))p Fk(:)800 9869 y Fl(Let)433 b Fk(M)4388 10068 y Fj(m)5276 9869 y Fl(\()p Fk(n)p Fl(\))h(denote)f(the)g(righ)-36 b(t)433 b(side)h(of)g(the)f(ab)36 b(o)-36 b(v)g(e)434 b(inequalit)-36 b(y;)435 b(w)-36 b(e)434 b(ha)-36 b(v)g(e)13685 13079 y(\()p Fk(n)296 b Fl(+)e(1\)\()p Fk(n)i Fl(+)f(2\)\()p Fk(n)g Fl(+)g(3\))221 b Fi(\242)g(\242)g(\242)i Fl(\()p Fk(n)295 b Fl(+)g Fk(m)g Fi(\241)g Fl(1\))p Fk(M)35858 13278 y Fj(m)36746 13079 y Fl(\()p Fk(n)p Fl(\))369 b(=)1357 15675 y(\()p Fk(n)296 b Fl(+)e(2\)\()p Fk(n)i Fl(+)f(3\))221 b Fi(\242)g(\242)g(\242)i Fl(\()p Fk(n)295 b Fl(+)g Fk(m)g Fi(\241)g Fl(1\))g(+)g(\()p Fk(n)g Fl(+)g(3\))221 b Fi(\242)g(\242)g (\242)i Fl(\()p Fk(n)295 b Fl(+)g Fk(m)g Fi(\241)g Fl(1\))h(+)f Fi(\242)221 b(\242)g(\242)295 b Fl(+)g(\()p Fk(n)h Fl(+)f Fk(m)f Fi(\241)i Fl(1\))f(+)47096 14777 y Fk(n)g Fl(+)g Fk(m)p 45959 15370 V 45959 16587 a(n)g Fl(+)g Fk(m)g Fi(\241)g Fl(1)51882 15675 y Fk(;)800 18294 y Fl(and)433 b(dividing)h(b)-36 b(y)434 b(\()p Fk(n)295 b Fl(+)g(1\)\()p Fk(n)g Fl(+)g(2\)\()p Fk(n)h Fl(+)f(3\))221 b Fi(\242)g(\242)g(\242)h Fl(\()p Fk(n)296 b Fl(+)e Fk(m)h Fi(\241)h Fl(1\))433 b(w)-36 b(e)434 b(obtain)12472 21891 y Fk(M)13730 22090 y Fj(m)14618 21891 y Fl(\()p Fk(n)p Fl(\))369 b(=)g Fk(n)p Fl(!\()25156 20993 y Fk(n)296 b Fl(+)f Fk(m)p 19932 21586 13965 54 v 19932 22803 a Fl(\()p Fk(n)g Fl(+)g Fk(m)g Fi(\241)h Fl(1\)\()p Fk(n)f Fl(+)g Fk(m)g Fi(\241)g Fl(1\)!)34325 21891 y(+)35631 20231 y Fj(n)p Ff(+)p Fj(m)p Fd(\241)p Ff(2)36341 20629 y Fg(X)35887 23429 y Fj(i)p Ff(=)p Fj(n)p Ff(+1)39400 20993 y Fl(1)p 39323 21586 806 54 v 39323 22803 a Fk(i)p Fl(!)40261 21891 y(\))p Fk(:)800 25478 y Fl(Therefore)10386 28744 y Fk(D)11466 28943 y Fj(n)12461 28744 y Fl(=)369 b Fi(b)14565 27845 y Fk(n)p Fl(!)p 14565 28438 1138 54 v 14832 29655 a Fk(e)16131 28744 y Fl(+)295 b Fk(n)p Fl(!\()24438 27845 y Fk(n)h Fl(+)f Fk(m)p 19214 28438 13965 54 v 19214 29655 a Fl(\()p Fk(n)g Fl(+)g Fk(m)g Fi(\241)g Fl(1\)\()p Fk(n)h Fl(+)f Fk(m)g Fi(\241)g Fl(1\)!)33606 28744 y(+)34913 27083 y Fj(n)p Ff(+)p Fj(m)p Fd(\241)p Ff(2)35623 27482 y Fg(X)35169 30281 y Fj(i)p Ff(=)p Fj(n)p Ff(+1)38682 27845 y Fl(1)p 38605 28438 806 54 v 38605 29655 a Fk(i)p Fl(!)39543 28744 y(\))p Fi(c)p Fk(:)p Black 10138 w Fl(\(8\))p Black 800 32625 a(No)-36 b(w)468 b(consider)f(\(6\))h(and)f(rewrite)g(\(8\))h(b)-36 b(y)467 b(using)25436 31628 y Fg(P)26839 31979 y Fj(n)p Ff(+)p Fj(m)p Fd(\241)p Ff(2)26839 33012 y Fj(i)p Ff(=)p Fj(n)p Ff(+1)30641 32102 y(1)p 30585 32319 582 54 v 30585 33083 a Fj(i)p Ff(!)31727 32625 y Fl(=)33165 31628 y Fg(P)34567 31979 y Fj(n)p Ff(+)p Fj(m)p Fd(\241)p Ff(2)34567 33012 y Fj(i)p Ff(=0)38370 32102 y(1)p 38314 32319 V 38314 33083 a Fj(i)p Ff(!)39347 32625 y Fi(\241)40698 31628 y Fg(P)42100 31979 y Fj(n)42100 33012 y(i)p Ff(=0)44088 32102 y(1)p 44033 32319 V 44033 33083 a Fj(i)p Ff(!)44747 32625 y Fl(.)680 b(The)468 b(pro)36 b(of)468 b(is)800 34230 y(complete.)p 52180 33543 665 45 v 52180 34230 45 687 v 52800 34230 V 52180 34274 665 45 v Black 800 36660 a Fe(Corollary)500 b(2.2)p Black 651 w Fh(F)-100 b(or)465 b Fk(n)370 b Fi(\270)f Fl(2)p Fh(,)465 b(we)g(have)17814 39056 y Fk(D)18894 39255 y Fj(n)19890 39056 y Fl(=)368 b Fi(b)p Fl(\()p Fk(e)295 b Fl(+)g Fk(e)25174 38508 y Fd(\241)p Ff(1)26432 39056 y Fl(\))p Fk(n)p Fl(!)p Fi(c)h(\241)f(b)p Fk(en)p Fl(!)p Fi(c)p Fk(:)p Black 17568 w Fl(\(9\))p Black Black 800 41486 a Fe(Pro)42 b(of)p Fl(:)p Black 650 w(W)-108 b(e)434 b(giv)-36 b(e)435 b(t)-36 b(w)g(o)433 b(pro)36 b(ofs.)800 43091 y(Metho)g(d)433 b(1.)579 b(Because)433 b(\(7\))h(holds)f(for)i(all)f Fk(m)369 b Fi(\270)g Fl(3,)434 b(w)-36 b(e)434 b(ha)-36 b(v)g(e)5524 46220 y Fk(D)6604 46419 y Fj(n)7599 46220 y Fl(=)823 b(lim)8980 47017 y Fj(m)p Fd(!1)11694 46220 y Fi(b)p Fl(\()12923 45321 y Fi(b)p Fk(e)p Fl(\()p Fk(n)296 b Fl(+)f Fk(m)g Fi(\241)g Fl(2\)!)p Fi(c)p 12923 45915 8947 54 v 13815 47131 a Fl(\()p Fk(n)g Fl(+)g Fk(m)g Fi(\241)g Fl(2\)!)22298 46220 y(+)28962 45321 y Fk(n)g Fl(+)g Fk(m)p 23737 45915 13965 54 v 23737 47131 a Fl(\()p Fk(n)h Fl(+)f Fk(m)f Fi(\241)i Fl(1\)\()p Fk(n)f Fl(+)g Fk(m)g Fi(\241)g Fl(1\)!)38130 46220 y(+)g Fk(e)40040 45672 y Fd(\241)p Ff(1)41297 46220 y Fl(\))p Fk(n)p Fl(!)p Fi(c)h(\241)g(b)p Fk(en)p Fl(!)p Fi(c)19959 49484 y Fl(=)369 b Fi(b)p Fl(\()p Fk(e)295 b Fl(+)g Fk(e)25244 48936 y Fd(\241)p Ff(1)26501 49484 y Fl(\))p Fk(n)p Fl(!)p Fi(c)h(\241)g(b)p Fk(en)p Fl(!)p Fi(c)p Fk(:)800 51579 y Fl(Metho)36 b(d)433 b(2.)579 b(By)434 b(using)f(\(6\),)h(w)-36 b(e)434 b(ha)-36 b(v)g(e)2078 54987 y Fk(M)139 b Fl(\()p Fk(n)p Fl(\))369 b(=)g Fk(n)p Fl(!\()p Fk(e)295 b Fi(\241)11557 53327 y Fj(n)10883 53725 y Fg(X)11081 56524 y Fj(i)p Ff(=0)13233 54088 y Fl(1)p 13156 54682 806 54 v 13156 55898 a Fk(i)p Fl(!)14093 54987 y(\))369 b(=)g Fk(en)p Fl(!)296 b Fi(\241)f(b)p Fk(en)p Fl(!)p Fi(c)370 b Fl(=)f Fi(f)p Fk(en)p Fl(!)p Fi(g)1576 b Fl(\()p Fk(n)369 b Fi(\270)g Fl(1)p Fk(;)221 b Fi(f)435 b(g)e Fl(denotes)g(the)g(fractional)i(part\))p Fk(;)800 58482 y Fl(and)e(the)g(pro)36 b(of)434 b(follo)-36 b(ws.)p 52180 57795 665 45 v 52180 58482 45 687 v 52800 58482 V 52180 58526 665 45 v 800 60912 a(No)g(w)21171 62517 y(lim)20717 63314 y Fj(m)p Fd(!1)23653 62517 y Fk(M)24911 62716 y Fj(m)25799 62517 y Fl(\()p Fk(n)p Fl(\))369 b(=)f Fk(M)139 b Fl(\()p Fk(n)p Fl(\))p Fk(;)800 66216 y Fl(and)433 b(if)h(w)-36 b(e)434 b(put)f Fk(M)10079 66415 y Ff(1)10605 66216 y Fl(\()p Fk(n)p Fl(\))369 b(=)14326 65693 y Ff(1)p 14275 65911 571 54 v 14275 66674 a Fj(n)15413 66216 y Fl(and)433 b Fk(M)19200 66415 y Ff(2)19726 66216 y Fl(\()p Fk(n)p Fl(\))369 b(=)23993 65693 y Fj(n)p Ff(+2)p 23396 65911 2967 54 v 23396 66674 a(\()p Fj(n)p Ff(+1\))25901 66422 y Fc(2)26929 66216 y Fl(\(see)434 b(form)-36 b(ulas)434 b(\(4\))f(and)g(\(5\)\),)h(then)18317 68794 y Fk(M)19575 68993 y Fj(m)p Ff(+1)21666 68794 y Fl(\()p Fk(n)p Fl(\))369 b Fk(<)f(M)26461 68993 y Fj(m)27349 68794 y Fl(\()p Fk(n)p Fl(\))1575 b(\()p Fk(n)369 b Fi(\270)g Fl(1\))p Fk(:)2751 71190 y Fl(No)-36 b(w)406 b(w)-36 b(e)406 b(\257nd)f(b)36 b(ounds)404 b(sharp)36 b(er)405 b(than)g Fi(f)p Fk(en)p Fl(!)p Fi(g)i Fl(for)f Fk(e)28325 70708 y Fd(\241)p Ff(1)29583 71190 y Fk(n)p Fl(!)239 b Fi(\241)f Fk(D)33310 71389 y Fj(n)34342 71190 y Fl(and)405 b(consequen)-36 b(tly)406 b(another)f(family)800 72795 y(of)434 b(form)-36 b(ulas)435 b(for)f Fk(D)10631 72994 y Fj(n)11257 72795 y Fl(.)578 b(This)434 b(family)h(is)f(an)g(extension)f(of)i(\(9\).)p Black Black eop %%Page: 4 4 4 3 bop Black 0 TeXcolorgray Black 52150 -272 a Fl(4)p Black Black 800 3824 a Fe(Theorem)499 b(2.3)p Black 651 w Fh(Supp)-66 b(ose)615 b Fk(m)f Fh(is)g(an)g(inte)-66 b(ger)613 b(and)h Fk(m)645 b Fi(\270)i Fl(1)p Fh(.)1046 b(The)614 b(numb)-66 b(er)613 b(of)h(der)-66 b(angements)613 b(of)h Fk(n)800 5429 y Fh(distinct)463 b(obje)-66 b(cts)464 b Fl(\()p Fk(n)369 b Fi(\270)g Fl(2\))465 b Fh(is)11643 9375 y Fk(D)12723 9574 y Fj(n)13718 9375 y Fl(=)369 b Fi(b)p Fl(\()16328 8476 y Fi(f)p Fk(e)p Fl(\()p Fk(n)295 b Fl(+)g(2)p Fk(m)p Fl(\)!)p Fi(g)p 16328 9069 7471 54 v 17294 10286 a Fl(\()p Fk(n)g Fl(+)g(2)p Fk(m)p Fl(\)!)24226 9375 y(+)26077 7714 y Fj(m)25533 8113 y Fg(X)25731 10912 y Fj(i)p Ff(=1)27806 8476 y Fk(n)h Fl(+)f(2)p Fk(i)g Fi(\241)g Fl(1)p 27806 9069 5747 54 v 28257 10286 a(\()p Fk(n)g Fl(+)g(2)p Fk(i)p Fl(\)!)33981 9375 y(+)f Fk(e)35890 8826 y Fd(\241)p Ff(1)37148 9375 y Fl(\))p Fk(n)p Fl(!)p Fi(c)p Fk(:)p Black 10746 w Fl(\(10\))p Black Black 800 13517 a Fe(Pro)42 b(of)p Fl(:)p Black 650 w(Since)434 b Fk(m)368 b Fi(\270)h Fl(1)434 b(w)-36 b(e)434 b(ha)-36 b(v)g(e)2430 16413 y Fk(e)3033 15931 y Fd(\241)p Ff(1)4291 16413 y Fk(n)p Fl(!)295 b Fi(\241)h Fk(D)8132 16612 y Fj(n)p 2430 17006 6328 54 v 3332 18223 a Fl(\()p Fi(\241)p Fl(1\))6027 17839 y Fj(n)p Ff(+1)9260 17312 y Fl(=)368 b Fk(n)p Fl(!)12488 15651 y Fd(1)11999 16050 y Fg(X)12197 18849 y Fj(i)p Ff(=1)13918 17312 y Fl(\()17791 16413 y(1)p 14557 17006 7120 54 v 14557 18223 a(\()p Fk(n)295 b Fl(+)g(2)p Fk(i)g Fi(\241)h Fl(1\)!)22104 17312 y Fi(\241)25663 16413 y Fl(1)p 23565 17006 4846 54 v 23565 18223 a(\()p Fk(n)g Fl(+)e(2)p Fk(i)p Fl(\)!)28543 17312 y(\))369 b Fk(<)g(n)p Fl(!\()32986 15651 y Fj(m)32442 16050 y Fg(X)32640 18849 y Fj(i)p Ff(=1)34715 16413 y Fk(n)296 b Fl(+)f(2)p Fk(i)g Fi(\241)g Fl(1)p 34715 17006 5747 54 v 35166 18223 a(\()p Fk(n)g Fl(+)g(2)p Fk(i)p Fl(\)!)40890 17312 y(+)43505 15651 y Fd(1)43016 16050 y Fg(X)42196 18849 y Fj(i)p Ff(=2)p Fj(m)p Ff(+1)47880 16413 y Fl(1)p 46108 17006 4196 54 v 46108 18223 a(\()p Fk(n)g Fl(+)g Fk(i)p Fl(\)!)50436 17312 y(\))p Fk(:)800 21509 y Fl(Let)433 b Fk(N)4172 21708 y Fj(m)5059 21509 y Fl(\()p Fk(n)p Fl(\))h(denote)f(the)g(righ)-36 b(t)433 b(mem)-36 b(b)36 b(er)433 b(of)h(ab)36 b(o)-36 b(v)g(e)435 b(inequalit)-36 b(y)-108 b(.)579 b(Considering)434 b(\(6\),)f(w)-36 b(e)434 b(ha)-36 b(v)g(e)14066 25455 y Fk(N)15108 25654 y Fj(m)15995 25455 y Fl(\()p Fk(n)p Fl(\))369 b(=)g Fk(n)p Fl(!\()21720 23795 y Fj(m)21176 24193 y Fg(X)21374 26993 y Fj(i)p Ff(=1)23449 24557 y Fk(n)296 b Fl(+)f(2)p Fk(i)g Fi(\241)g Fl(1)p 23449 25150 5747 54 v 23900 26366 a(\()p Fk(n)g Fl(+)g(2)p Fk(i)p Fl(\)!)29624 25455 y(+)31063 24557 y Fi(f)p Fk(e)p Fl(\()p Fk(n)h Fl(+)f(2)p Fk(m)p Fl(\)!)p Fi(g)p 31063 25150 7471 54 v 32029 26366 a Fl(\()p Fk(n)g Fl(+)g(2)p Fk(m)p Fl(\)!)38667 25455 y(\))p Fk(;)800 29617 y Fl(and)433 b(for)h(\()p Fk(n)369 b Fi(\270)h Fl(2\),)434 b Fk(D)11401 29816 y Fj(n)12396 29617 y Fl(=)368 b Fi(b)p Fk(e)14969 29135 y Fd(\241)p Ff(1)16227 29617 y Fk(n)p Fl(!)296 b(+)f Fk(N)20009 29816 y Fj(m)20896 29617 y Fl(\()p Fk(n)p Fl(\))p Fi(c)p Fl(.)579 b(This)434 b(completes)f(the)g(pro)36 b(of.)p 52180 28931 665 45 v 52180 29617 45 687 v 52800 29617 V 52180 29661 665 45 v Black 800 32661 a Fe(Corollary)500 b(2.4)p Black 651 w Fh(F)-100 b(or)465 b(al)66 b(l)466 b(inte)-66 b(gers)463 b Fk(m;)221 b(n)370 b Fi(\270)f Fl(1)p Fh(,)465 b(we)g(have)16351 35595 y Fk(N)17393 35794 y Fj(m)p Ff(+1)19482 35595 y Fl(\()p Fk(n)p Fl(\))369 b Fk(<)g(N)24062 35794 y Fj(m)24949 35595 y Fl(\()p Fk(n)p Fl(\))p Fk(;)1616 b(N)29756 35794 y Ff(1)30282 35595 y Fl(\()p Fk(n)p Fl(\))369 b Fk(<)f Fi(f)p Fk(en)p Fl(!)p Fi(g)p Fk(:)800 38639 y Fl(Therefore)434 b(w)-36 b(e)434 b(ha)-36 b(v)g(e)434 b(the)f(follo)-36 b(wing)436 b(c)-36 b(hain)433 b(of)h(b)36 b(ounds)433 b(for)h Fi(j)31261 38116 y Fj(n)p Ff(!)p 31261 38333 833 54 v 31458 39097 a Fj(e)32521 38639 y Fi(\241)295 b Fk(D)34929 38838 y Fj(n)35555 38639 y Fi(j)3656 42357 y(j)4158 41459 y Fk(n)p Fl(!)p 4158 42052 1138 54 v 4426 43268 a Fk(e)5724 42357 y Fi(\241)g Fk(D)8132 42556 y Fj(n)8759 42357 y Fi(j)369 b Fk(<)f Fi(\242)221 b(\242)g(\242)370 b Fk(<)e(N)15218 42556 y Ff(2)15744 42357 y Fl(\()p Fk(n)p Fl(\))h Fk(<)f(N)20323 42556 y Ff(1)20849 42357 y Fl(\()p Fk(n)p Fl(\))h Fk(<)f Fi(f)p Fk(en)p Fl(!)p Fi(g)i Fk(<)f Fi(\242)221 b(\242)g(\242)370 b Fk(<)e(M)33762 42556 y Ff(2)34288 42357 y Fl(\()p Fk(n)p Fl(\))h Fk(<)g(M)39084 42556 y Ff(1)39610 42357 y Fl(\()p Fk(n)p Fl(\))g Fk(<)g Fl(1)1575 b(\()p Fk(n)369 b Fi(\270)g Fl(2\))p Fk(:)800 45630 y Fe(Question)500 b(1.)578 b Fl(Can)434 b(w)-36 b(e)434 b(\257nd)e(the)h(follo)-36 b(wing)436 b(limit?)23747 48563 y(lim)23293 49360 y Fj(m)p Fd(!1)26229 48563 y Fk(N)27271 48762 y Fj(m)28158 48563 y Fl(\()p Fk(n)p Fl(\))p Fk(:)800 51855 y Fl(Before)441 b(going)g(to)f(the)f(next)h (section)g(w)-36 b(e)441 b(giv)-36 b(e)441 b(our)e(pro)36 b(of)441 b(of)g(Theorem)f(1.)598 b(The)440 b(idea)g(of)h(presen)-36 b(t)438 b(pro)36 b(of)800 53460 y(is)404 b(hidden)e(in)h(Ap)36 b(ostol's)405 b(analysis)g([1],)410 b(where)404 b(he)f(pro)-36 b(v)g(ed)403 b(the)g(irrationalit)-36 b(y)405 b(of)f Fk(e)f Fl(b)-36 b(y)404 b(using)f(\(11\).)569 b(And)800 55065 y(no)-36 b(w,)p Black 800 57777 a Fe(Pro)42 b(of)p Fl(:)p Black 650 w(\(Pro)36 b(of)435 b(of)f(Theorem)g(1\))f(Supp)36 b(ose)433 b Fk(k)414 b Fi(\270)369 b Fl(1)434 b(b)36 b(e)433 b(an)h(in)-36 b(teger,)434 b(w)-36 b(e)433 b(ha)-36 b(v)g(e)17971 61956 y(0)370 b Fk(<)20504 61058 y Fl(1)p 20504 61651 651 54 v 20528 62867 a Fk(e)21583 61956 y Fi(\241)22911 60296 y Ff(2)p Fj(k)24 b Fd(\241)p Ff(1)23045 60694 y Fg(X)23243 63494 y Fj(i)p Ff(=0)25451 61058 y Fl(\()p Fi(\241)p Fl(1\))28146 60576 y Fj(i)p 25451 61651 3071 54 v 26584 62867 a Fk(i)p Fl(!)29024 61956 y Fk(<)31585 61058 y Fl(1)p 30538 61651 2745 54 v 30538 62867 a(\(2)p Fk(k)45 b Fl(\)!)p Black 50488 61956 a(\(11\))p Black 800 65988 a(so,)434 b(for)g(ev)-36 b(ery)435 b Fk(m)9316 66187 y Ff(1)9841 65988 y Fl(,)f(w)-36 b(e)434 b(ha)-36 b(v)g(e)11660 70094 y Fk(m)12798 70293 y Ff(1)13693 70094 y Fk(<)15206 69195 y Fl(\(2)p Fk(k)341 b Fi(\241)295 b Fl(1\)!)p 15206 69788 5019 54 v 17414 71005 a Fk(e)20652 70094 y Fl(+)g Fk(m)23097 70293 y Ff(1)23918 70094 y Fi(\241)25246 68433 y Ff(2)p Fj(k)24 b Fd(\241)p Ff(1)25380 68832 y Fg(X)25578 71631 y Fj(i)p Ff(=0)27787 69195 y Fl(\()p Fi(\241)p Fl(1\))30482 68713 y Fj(i)30858 69195 y Fl(\(2)p Fk(k)340 b Fi(\241)295 b Fl(1\)!)p 27787 69788 8090 54 v 31429 71005 a Fk(i)p Fl(!)36378 70094 y Fk(<)368 b(m)38896 70293 y Ff(1)39717 70094 y Fl(+)41157 69195 y(1)p 41157 69788 651 54 v 41157 71005 a(2)p Black Black eop %%Page: 5 5 5 4 bop Black 0 TeXcolorgray Black 52150 -272 a Fl(5)p Black 800 3824 a(if)434 b(0)370 b Fi(\267)f Fk(m)5552 4023 y Ff(1)6446 3824 y Fi(\267)7981 3301 y Ff(1)p 7981 3519 471 54 v 7981 4282 a(2)9018 3824 y Fl(,)434 b(then)15498 5141 y Ff(2)p Fj(k)24 b Fd(\241)p Ff(1)15632 5539 y Fg(X)15830 8339 y Fj(i)p Ff(=0)18039 5903 y Fl(\()p Fi(\241)p Fl(1\))20734 5420 y Fj(i)21110 5903 y Fl(\(2)p Fk(k)340 b Fi(\241)295 b Fl(1\)!)p 18039 6496 8090 54 v 21681 7712 a Fk(i)p Fl(!)26630 6801 y(=)368 b Fi(b)28733 5903 y Fl(\(2)p Fk(k)341 b Fi(\241)295 b Fl(1\)!)p 28733 6496 5019 54 v 30941 7712 a Fk(e)34180 6801 y Fl(+)g Fk(m)36625 7000 y Ff(1)37150 6801 y Fi(c)p Fk(:)800 10228 y Fl(Similarly)435 b(since)f(\(11\),)g(for)g(ev)-36 b(ery)434 b Fk(m)19179 10427 y Ff(2)20138 10228 y Fl(w)-36 b(e)434 b(ha)-36 b(v)g(e)14009 14243 y Fk(m)15147 14442 y Ff(2)15968 14243 y Fi(\241)295 b Fl(1)370 b Fk(<)19829 13345 y Fl(\(2)p Fk(k)45 b Fl(\)!)p 19829 13938 2745 54 v 20900 15155 a Fk(e)23002 14243 y Fl(+)294 b Fk(m)25446 14442 y Ff(2)26267 14243 y Fi(\241)28063 12583 y Ff(2)p Fj(k)27595 12982 y Fg(X)27793 15781 y Fj(i)p Ff(=0)29868 13345 y Fl(\()p Fi(\241)p Fl(1\))32563 12863 y Fj(i)32939 13345 y Fl(\(2)p Fk(k)45 b Fl(\)!)p 29868 13938 5816 54 v 32373 15155 a Fk(i)p Fl(!)36185 14243 y Fk(<)369 b(m)38704 14442 y Ff(2)39229 14243 y Fk(:)800 18283 y Fl(No)-36 b(w,)435 b(if)f Fk(m)6454 18482 y Ff(2)7348 18283 y Fi(\270)8883 17760 y Ff(1)p 8883 17977 471 54 v 8883 18741 a(3)9487 18283 y Fl(,)f(then)17540 21260 y(0)369 b Fk(<)20073 20361 y Fl(\(2)p Fk(k)45 b Fl(\)!)p 20073 20954 2745 54 v 21144 22171 a Fk(e)23245 21260 y Fl(+)295 b Fk(m)25690 21459 y Ff(2)26511 21260 y Fi(\241)28306 19599 y Ff(2)p Fj(k)27839 19998 y Fg(X)28037 22797 y Fj(i)p Ff(=0)30112 20361 y Fl(\()p Fi(\241)p Fl(1\))32807 19879 y Fj(i)33183 20361 y Fl(\(2)p Fk(k)45 b Fl(\)!)p 30112 20954 5816 54 v 32617 22171 a Fk(i)p Fl(!)800 24784 y(therefore,)434 b(if)7942 24261 y Ff(1)p 7942 24478 471 54 v 7942 25242 a(3)8914 24784 y Fi(\267)369 b Fk(m)11454 24983 y Ff(2)12349 24784 y Fi(\267)g Fl(1,)434 b(w)-36 b(e)434 b(obtain)18373 27265 y Ff(2)p Fj(k)17906 27664 y Fg(X)18104 30463 y Fj(i)p Ff(=0)20179 28027 y Fl(\()p Fi(\241)p Fl(1\))22874 27545 y Fj(i)23250 28027 y Fl(\(2)p Fk(k)45 b Fl(\)!)p 20179 28620 5816 54 v 22684 29837 a Fk(i)p Fl(!)26496 28926 y(=)369 b Fi(b)28600 28027 y Fl(\(2)p Fk(k)45 b Fl(\)!)p 28600 28620 2745 54 v 29670 29837 a Fk(e)31772 28926 y Fl(+)295 b Fk(m)34217 29125 y Ff(2)34742 28926 y Fi(c)p Fk(:)800 32794 y Fl(This)434 b(completes)g(the)f(pro)36 b(of.)p 52180 32107 665 45 v 52180 32794 45 687 v 52800 32794 V 52180 32838 665 45 v 800 35365 a(In)433 b(the)g(next)h(section) g(there)f(are)g(some)h(applications)g(of)h(the)e(pro)-36 b(v)g(en)433 b(results.)800 39778 y Fm(3)2152 b(The)849 b(derangemen)-60 b(t)848 b(function,)880 b(incomplete)849 b(gamma)h(and)4028 42214 y(h)-60 b(yp)60 b(ergeometric)716 b(functions)800 45134 y Fl(Let's)434 b(\257nd)e(other)h(form)-36 b(ulas)434 b(for)g Fk(D)18351 45333 y Fj(n)18977 45134 y Fl(.)579 b(The)433 b(computer)g(algebra)h(program)g(MAPLE)f(yields)h (that)16064 47904 y Fk(D)17144 48103 y Fj(n)18139 47904 y Fl(=)369 b(\()p Fi(\241)p Fl(1\))22215 47355 y Fj(n)22841 47904 y Fb(hypergeom)l Fl(\([1)p Fk(;)221 b Fi(\241)p Fk(n)p Fl(])p Fk(;)g Fl([)870 b(])p Fk(;)221 b Fl(1\))p Fk(;)800 50674 y Fl(and)20402 52279 y Fk(D)21482 52478 y Fj(n)22477 52279 y Fl(=)368 b Fk(e)24460 51730 y Fd(\241)p Ff(1)25718 52279 y Fl(\241\()p Fk(n)295 b Fl(+)g(1)p Fk(;)221 b Fi(\241)p Fl(1\))p Fk(;)800 54533 y Fl(where)447 b Fb(hypergeom)-5 b Fl(\([1)p Fk(;)221 b Fi(\241)p Fk(n)p Fl(])p Fk(;)g Fl([)897 b(])p Fk(;)221 b Fl(1\))447 b(is)g(MAPLE's)f (notation)h(for)g(a)g(h)-36 b(yp)36 b(ergeometric)447 b(function.)617 b(More)800 56138 y(generally)-108 b(,)435 b Fb(hypergeom)l Fl(\([)p Fk(a)14283 56337 y Ff(1)15676 56138 y Fk(a)16359 56337 y Ff(2)17539 56138 y Fi(\242)221 b(\242)g(\242)656 b Fk(a)20427 56337 y Fj(p)20955 56138 y Fl(])p Fk(;)221 b Fl([)p Fk(b)22812 56337 y Ff(1)24207 56138 y Fk(b)24760 56337 y Ff(2)25940 56138 y Fi(\242)g(\242)g(\242)656 b Fk(b)28698 56337 y Fj(q)29205 56138 y Fl(])p Fk(;)221 b(x)p Fl(\))435 b(is)f(de\257ned)e(as)i(follo)-36 b(ws)435 b(\(see)f([4]\),)16573 59921 y Fj(p)17102 59722 y Fk(F)17944 59921 y Fj(q)18673 57849 y Fg(\267)19927 58909 y Fk(a)20610 59108 y Ff(1)22243 58909 y Fk(a)22926 59108 y Ff(2)24558 58909 y Fi(\242)221 b(\242)g(\242)1329 b Fk(a)28119 59108 y Fj(p)19992 60514 y Fk(b)20545 60713 y Ff(1)22308 60514 y Fk(b)22861 60713 y Ff(2)24558 60514 y Fi(\242)221 b(\242)g(\242)1405 b Fk(b)28065 60713 y Fj(q)29202 59722 y Fl(;)221 b Fk(x)30523 57849 y Fg(\270)31593 59722 y Fl(=)32974 58460 y Fg(X)33075 61289 y Fj(k)24 b Fd(\270)p Ff(0)35114 59722 y Fk(t)35584 59921 y Fj(k)36153 59722 y Fk(x)36892 59174 y Fj(k)800 63769 y Fl(where)14522 64876 y Fk(t)14992 65075 y Fj(k)g Ff(+1)p 14522 65469 2241 54 v 15123 66686 a Fk(t)15593 66885 y Fj(k)17265 65775 y Fl(=)20565 64876 y(\()p Fk(k)340 b Fl(+)295 b Fk(a)24077 65075 y Ff(1)24603 64876 y Fl(\)\()p Fk(k)339 b Fl(+)295 b Fk(a)28620 65075 y Ff(2)29146 64876 y Fl(\))221 b Fi(\242)g(\242)g(\242)h Fl(\()p Fk(k)340 b Fl(+)295 b Fk(a)35156 65075 y Fj(p)35685 64876 y Fl(\))p 18778 65469 19200 54 v 18778 66686 a(\()p Fk(k)340 b Fl(+)295 b Fk(b)22160 66885 y Ff(1)22686 66686 y Fl(\)\()p Fk(k)340 b Fl(+)295 b Fk(b)26574 66885 y Ff(2)27099 66686 y Fl(\))221 b Fi(\242)g(\242)g(\242)i Fl(\()p Fk(k)340 b Fl(+)295 b Fk(b)32980 66885 y Fj(q)33487 66686 y Fl(\)\()p Fk(k)340 b Fl(+)294 b(1\))38110 65775 y Fk(x:)800 68814 y Fl(Also)434 b(\241\()p Fk(n)295 b Fl(+)g(1)p Fk(;)221 b Fi(\241)p Fl(1\))435 b(is)f(an)f(incomplete)h(gamma)g(function)g(and) f(generally)i(de\257ned)d(as)i(follo)-36 b(ws:)15902 72260 y(\241\()p Fk(a;)221 b(z)59 b Fl(\))369 b(=)21404 70452 y Fg(Z)22733 70802 y Fd(1)22142 73459 y Fj(z)23950 72260 y Fk(e)24553 71711 y Fd(\241)p Fj(t)25680 72260 y Fk(t)26150 71711 y Fj(a)p Fd(\241)p Ff(1)27907 72260 y Fk(dt)1575 b Fl(\()p Fk(R)11 b(e)p Fl(\()p Fk(a)p Fl(\))368 b Fk(>)g Fl(0\))p Fk(;)p Black Black eop %%Page: 6 6 6 5 bop Black 0 TeXcolorgray Black 52150 -272 a Fl(6)p Black 800 3824 a(No)-36 b(w,)543 b(b)36 b(ecause)520 b(w)-36 b(e)521 b(kno)-36 b(w)521 b(the)f(v)-72 b(alue)521 b(of)g Fk(D)23038 4023 y Fj(n)23664 3824 y Fl(,)543 b(w)-36 b(e)520 b(can)h(estimate)f(some)h(summations)f(and)g(in)-36 b(tegrals.)800 5429 y(T)-108 b(o)502 b(do)f(this,)518 b(w)-36 b(e)501 b(de\257ne)f(the)h Fh(der)-66 b(angement)524 b(function)p Fl(,)517 b(a)501 b(natural)g(generalization)i(of)f (derangemen)-36 b(ts,)800 7034 y(denoted)433 b(b)-36 b(y)433 b Fk(D)8600 7233 y Fj(n)9226 7034 y Fl(\()p Fk(x)p Fl(\),)h(for)g(ev)-36 b(ery)434 b(in)-36 b(teger)434 b Fk(n)369 b Fi(\270)g Fl(0)434 b(and)f(ev)-36 b(ery)435 b(real)f Fk(x)f Fl(as)h(follo)-36 b(ws:)17741 10819 y Fk(D)18821 11018 y Fj(n)19447 10819 y Fl(\()p Fk(x)p Fl(\))369 b(=)22947 8946 y Fg(\275)24497 10081 y Fk(n)p Fl(!)25855 9085 y Fg(P)27258 9435 y Fj(n)27258 10468 y(i)p Ff(=0)29191 9558 y Fj(x)29721 9245 y Fa(i)p 29191 9776 881 54 v 29340 10539 a Fj(i)p Ff(!)30204 10081 y Fk(;)1108 b(x)369 b Fi(6)p Fl(=)f(0;)24497 11686 y Fk(n)p Fl(!)p Fk(;)5678 b(x)369 b Fl(=)f(0)p Fk(:)800 14529 y Fl(It)434 b(is)g(easy)g(to)g(obtain)f(the)g(follo)-36 b(wing)436 b(generalized)e(recursiv)-36 b(e)434 b(relations:)800 17463 y Fk(D)1880 17662 y Fj(n)2506 17463 y Fl(\()p Fk(x)p Fl(\))369 b(=)g(\()p Fk(x)175 b Fl(+)g Fk(n)p Fl(\))p Fk(D)10976 17662 y Fj(n)p Fd(\241)p Ff(1)12805 17463 y Fl(\()p Fk(x)p Fl(\))g Fi(\241)g Fk(x)p Fl(\()p Fk(n)g Fi(\241)g Fl(1\))p Fk(D)21579 17662 y Fj(n)p Fd(\241)p Ff(2)23409 17463 y Fl(\()p Fk(x)p Fl(\))369 b(=)f Fk(x)27648 16914 y Fj(n)28450 17463 y Fl(+)175 b Fk(nD)31493 17662 y Fj(n)p Fd(\241)p Ff(1)33322 17463 y Fl(\()p Fk(x)p Fl(\))p Fk(;)1796 b Fl(\()p Fk(D)38816 17662 y Ff(0)39342 17463 y Fl(\()p Fk(x)p Fl(\))368 b(=)h(1)p Fk(;)221 b(D)45154 17662 y Ff(1)45681 17463 y Fl(\()p Fk(x)p Fl(\))369 b(=)f Fk(x)175 b Fl(+)g(1\))p Fk(:)800 20396 y Fl(Note)463 b(that)g Fk(D)7900 20595 y Fj(n)8526 20396 y Fl(\()p Fk(x)p Fl(\))g(is)g(a)g(nice)g(p)36 b(olynomial.)669 b(Its)463 b(v)-72 b(alue)463 b(for)h Fk(x)419 b Fl(=)g Fi(\241)p Fl(1)463 b(is)g Fk(D)37717 20595 y Fj(n)38343 20396 y Fl(,)471 b(for)464 b Fk(x)419 b Fl(=)g(0)463 b(is)g(the)g(n)-36 b(um)g(b)36 b(er)800 22001 y(of)458 b(p)36 b(erm)-36 b(utations)456 b(of)i Fk(n)g Fl(distinct)e(ob)72 b(jects)458 b(and)f(for)h Fk(x)409 b Fl(=)g(1)457 b(is)h Fk(w)32727 22200 y Fj(n)p Ff(+2)34964 22001 y Fl(=)f(the)g(n)-36 b(um)g(b)36 b(er)455 b(of)j(distinct)f(paths)800 23606 y(b)36 b(et)-36 b(w)g(een)433 b(ev)-36 b(ery)434 b(pair)g(of)g(v)-36 b(ertices)434 b(in)g(a)g(complete)f(graph)h(on)f Fk(n)296 b Fl(+)e(2)434 b(v)-36 b(ertices,)435 b(and)16385 26540 y Fk(D)17465 26739 y Fj(n)18092 26540 y Fl(\(1\))368 b(=)h Fi(b)p Fk(en)p Fl(!)p Fi(c)1576 b Fl(\()p Fk(n)369 b Fi(\270)h Fl(1\))p Fk(;)1796 b Fl(\(see)434 b([3])q(\))p Fk(:)800 29473 y Fl(A)g(natural)f(question)h(is)800 32683 y Fe(Question)375 b(2.)542 b Fl(Is)324 b(there)g(an)-36 b(y)325 b(com)-36 b(binatorial)326 b(meaning)f(for)g(the)f(v)-72 b(alue)325 b(of)g Fk(D)38443 32882 y Fj(n)39069 32683 y Fl(\()p Fk(x)p Fl(\))g(for)g(other)f(v)-72 b(alues)325 b(of)h Fk(x)p Fl(?)800 35893 y(The)434 b(ab)36 b(o)-36 b(v)g(e)434 b(de\257nitions)f(yield)14546 39528 y Fk(D)15626 39727 y Fj(n)16252 39528 y Fl(\()p Fk(x)p Fl(\))369 b(=)g Fk(x)20492 38980 y Fj(n)21551 39727 y Ff(2)22077 39528 y Fk(F)22919 39727 y Ff(0)23666 37655 y Fg(\267)25112 38714 y Fl(1)1299 b Fi(\241)p Fk(n)24921 40319 y Fi(\241)29424 39528 y Fl(;)221 b Fi(\241)31216 38629 y Fl(1)p 31172 39222 740 54 v 31172 40439 a Fk(x)32045 37655 y Fg(\270)34542 39528 y Fl(\()p Fk(x)369 b Fi(6)p Fl(=)g(0\))p Fk(;)800 43163 y Fl(and)19228 46096 y Fk(D)20308 46295 y Fj(n)20934 46096 y Fl(\()p Fk(x)p Fl(\))g(=)f Fk(e)25037 45548 y Fj(x)25622 46096 y Fl(\241\()p Fk(n)295 b Fl(+)g(1)p Fk(;)221 b(x)p Fl(\))p Fk(:)p Black 18331 w Fl(\(12\))p Black 800 49029 a(W)-108 b(e)434 b(obtain)19081 51276 y Ff(2)19607 51077 y Fk(F)20449 51276 y Ff(0)21196 49204 y Fg(\267)22642 50264 y Fl(1)1298 b Fi(\241)p Fk(n)22450 51869 y Fi(\241)26953 51077 y Fl(;)221 b Fi(\241)p Fl(1)29218 49204 y Fg(\270)30290 51077 y Fl(=)368 b Fi(b)p Fk(en)p Fl(!)p Fi(c)p Fk(;)800 54103 y Fl(and)16573 56350 y Ff(2)17099 56151 y Fk(F)17941 56350 y Ff(0)18688 54278 y Fg(\267)20134 55337 y Fl(1)1299 b Fi(\241)p Fk(n)19943 56942 y Fi(\241)24446 56151 y Fl(;)221 b(1)25678 54278 y Fg(\270)26749 56151 y Fl(=)369 b(\()p Fi(\241)p Fl(1\))30825 55602 y Fj(n)31672 54278 y Fg(\271)32580 55252 y Fk(n)p Fl(!)296 b(+)f(1)p 32580 55845 3391 54 v 33974 57062 a Fk(e)36103 54278 y Fg(\272)37099 56151 y Fk(:)800 59177 y Fl(Also)434 b(w)-36 b(e)434 b(ha)-36 b(v)g(e)434 b(some)g(corollaries.)p Black 800 61889 a Fe(Corollary)500 b(3.1)p Black 651 w Fh(F)-100 b(or)465 b(every)f(r)-66 b(e)g(al)465 b Fk(x)369 b Fi(6)p Fl(=)f(0)465 b Fh(we)h(have)14245 65722 y Ff(1)14771 65523 y Fk(F)15613 65722 y Ff(1)16360 63650 y Fg(\267)17615 64709 y Fk(n)296 b Fl(+)e(1)17615 66315 y Fk(n)i Fl(+)e(2)21197 65523 y(;)221 b Fi(\241)p Fk(x)23551 63650 y Fg(\270)24622 65523 y Fl(=)26136 64624 y(\()p Fk(n)295 b Fl(+)g(1\)\()p Fk(n)p Fl(!)h Fi(\241)f Fk(e)34046 64142 y Fd(\241)p Fj(x)35363 64624 y Fk(D)36443 64823 y Fj(n)37069 64624 y Fl(\()p Fk(x)p Fl(\)\))p 26136 65218 13190 54 v 31447 66434 a Fk(x)32186 66051 y Fj(n)p Ff(+1)39458 65523 y Fk(:)p Black 800 69268 a Fe(Pro)42 b(of)p Fl(:)p Black 650 w(Ob)-36 b(vious.)p 52180 68582 665 45 v 52180 69268 45 687 v 52800 69268 V 52180 69312 665 45 v Black Black eop %%Page: 7 7 7 6 bop Black 0 TeXcolorgray Black 52150 -272 a Fl(7)p Black Black 800 3824 a Fe(Corollary)500 b(3.2)p Black 651 w Fh(F)-100 b(or)465 b(every)f(inte)-66 b(ger)463 b Fk(n)369 b Fi(\270)h Fl(1)465 b Fh(we)g(have)19360 5635 y Fg(Z)20689 5985 y Fd(1)20098 8642 y(\241)p Ff(1)21906 7443 y Fk(e)22509 6894 y Fd(\241)p Fj(t)23636 7443 y Fk(t)24106 6894 y Fj(n)24732 7443 y Fk(dt)369 b Fl(=)f Fk(e)28451 5570 y Fg(\271)29359 6544 y Fk(n)p Fl(!)296 b(+)f(1)p 29359 7137 3391 54 v 30753 8354 a Fk(e)32882 5570 y Fg(\272)33878 7443 y Fk(;)21917 10199 y Fg(Z)23245 10549 y Fd(1)22655 13206 y Ff(0)24463 12007 y Fk(e)25066 11459 y Fd(\241)p Fj(t)26193 12007 y Fk(t)26663 11459 y Fj(n)27289 12007 y Fk(dt)368 b Fl(=)h Fk(n)p Fl(!)p Fk(;)20892 14121 y Fg(Z)22221 14472 y Fd(1)21630 17128 y Ff(1)23439 15929 y Fk(e)24042 15381 y Fd(\241)p Fj(t)25168 15929 y Fk(t)25638 15381 y Fj(n)26264 15929 y Fk(dt)g Fl(=)29292 15031 y Fi(b)p Fk(en)p Fl(!)p Fi(c)p 29292 15624 2922 54 v 30451 16840 a Fk(e)32346 15929 y(;)800 18879 y Fh(and)21054 19210 y Fg(Z)22382 19560 y Ff(1)21792 22217 y(0)23129 21018 y Fk(e)23732 20469 y Fd(\241)p Fj(t)24859 21018 y Fk(t)25329 20469 y Fj(n)25955 21018 y Fk(dt)g Fl(=)28983 20119 y Fi(f)p Fk(en)p Fl(!)p Fi(g)p 28983 20712 3069 54 v 30216 21929 a Fk(e)32185 21018 y(;)15796 23265 y Fg(Z)17125 23616 y Ff(0)16534 26273 y Fd(\241)p Ff(1)18013 25073 y Fk(e)18616 24525 y Fd(\241)p Fj(t)19743 25073 y Fk(t)20213 24525 y Fj(n)20839 25073 y Fk(dt)g Fl(=)23734 23200 y Fg(\275)25881 24260 y Fi(\241)p Fk(e)p Fi(f)28314 23737 y Fj(n)p Ff(!)p 28314 23954 833 54 v 28511 24718 a Fj(e)29279 24260 y Fi(g)1902 b Fk(n)465 b Fl(is)h(o)36 b(dd)o Fk(;)25284 25879 y(e)295 b Fi(\241)g Fk(e)p Fi(f)28910 25356 y Fj(n)p Ff(!)p 28910 25574 V 29108 26337 a Fj(e)29875 25879 y Fi(g)1107 b Fk(n)466 b Fl(is)f(ev)-36 b(en)p Fk(:)13840 27413 y Fg(Z)15169 27764 y Ff(1)14578 30420 y Fd(\241)p Ff(1)16057 29221 y Fk(e)16660 28673 y Fd(\241)p Fj(t)17787 29221 y Fk(t)18257 28673 y Fj(n)18883 29221 y Fk(dt)369 b Fl(=)f Fk(e)p Fi(b)p Fl(\()p Fk(e)295 b Fl(+)g Fk(e)26285 28673 y Fd(\241)p Ff(1)27543 29221 y Fl(\))p Fk(n)p Fl(!)p Fi(c)h(\241)f Fl(\()p Fk(e)g Fl(+)g Fk(e)34714 28673 y Fd(\241)p Ff(1)35971 29221 y Fl(\))p Fi(b)p Fk(en)p Fl(!)p Fi(c)p Fk(;)p Black 800 33053 a Fe(Pro)42 b(of)p Fl(:)p Black 650 w(Use)530 b(relations)h(\(3\),)553 b(\(6\),)h(\(9\),)g(\(12\))530 b(and)g(the)f(de\257nition)f(of)j(derangemen)-36 b(t)529 b(function)g(in)h(the)800 34658 y(case)434 b Fk(x)369 b Fl(=)g(0.)p 52180 33972 665 45 v 52180 34658 45 687 v 52800 34658 V 52180 34702 665 45 v 800 38139 a Fe(Question)412 b(3.)552 b Fl(Are)357 b(there)f(an)-36 b(y)358 b(similar)f(form)-36 b(ulas)358 b(for)28432 38338 y Ff(2)28958 38139 y Fk(F)29800 38338 y Ff(0)30547 36266 y Fg(\267)31993 37326 y Fl(1)1299 b Fi(\241)p Fk(n)31802 38931 y Fi(\241)36305 38139 y Fl(;)221 b Fi(\241)38082 37616 y Ff(1)p 38053 37834 530 54 v 38053 38597 a Fj(x)38716 36266 y Fg(\270)39774 38139 y Fl(?)553 b(In)356 b(other)h(w)-36 b(ords,)372 b(giv)-36 b(en)800 40519 y(an)g(y)434 b(real)g(n)-36 b(um)g(b)36 b(er)432 b Fk(x)p Fl(,)i(is)g(there)f(an)g(in)-36 b(terv)-72 b(al)434 b Fk(I)538 b Fl(\(dep)36 b(enden)-36 b(t)431 b(on)i Fk(x)p Fl(\))h(suc)-36 b(h)433 b(that)16802 44460 y Fk(n)p Fl(!)18835 42800 y Fj(n)18161 43198 y Fg(X)18359 45998 y Fj(i)p Ff(=0)20434 43561 y Fk(x)21173 43079 y Fj(i)p 20434 44155 1115 54 v 20589 45371 a Fk(i)p Fl(!)22051 44460 y(=)368 b Fi(b)p Fk(e)24624 43912 y Fj(x)25210 44460 y Fk(n)p Fl(!)296 b(+)e Fk(m)p Fi(c)1575 b Fl(\()p Fk(m)369 b Fi(2)f Fk(I)35093 44659 y Fj(x)35678 44460 y Fl(\)?)800 49570 y Fm(4)2152 b(Ac)-60 b(kno)g(wledgemen)g(ts)800 52491 y Fl(I)404 b(w)-36 b(ould)404 b(lik)-36 b(e)404 b(to)g(express)g(m)-36 b(y)404 b(gratitude)f(to)h(Dr.)568 b(J.)404 b(Ro)36 b(oin)405 b(for)f(his)f(v)-72 b(aluable)405 b(guidance.)568 b(Also)404 b(I)g(thank)800 54096 y(the)433 b(referee)h(for)g(his/her)f(priceless)h(commen)-36 b(ts)433 b(on)h(the)f(third)g(section.)800 58532 y Fm(References)p Black 1450 61453 a Fl([1])p Black 652 w(T.M.)h(Ap)36 b(ostol,)434 b Fh(Mathematic)-66 b(al)464 b(A)-33 b(nalysis)p Fl(,)433 b(Addison-W)-108 b(esley)g(,)433 b(1974.)p Black 1450 64164 a([2])p Black 652 w(P)-108 b(.J.)503 b(Cameron,)522 b Fh(Combinatorics:)723 b(T)-100 b(opics,)545 b(T)-100 b(e)-66 b(chniques,)543 b(A)-33 b(lgorithms)p Fl(,)520 b(Cam)-36 b(bridge)503 b(Univ)-36 b(ersit)g(y)3474 65769 y(Press,)433 b(1994.)p Black 1450 68479 a([3])p Black 652 w(M.)g(Hassani,)i(Cycles)g(in)e(graphs)g(and)g(derangemen)-36 b(ts,)433 b Fh(Math.)465 b(Gazette)p Fl(,)433 b(to)h(app)36 b(ear.)p Black 1450 71190 a([4])p Black 652 w(M.)470 b(P)-36 b(etk)g(o)g(v)-69 b(\267)-582 b(sek,)482 b(H.S.)470 b(Wilf)i(and)d(D.)i(Zeilb)36 b(erger,)480 b Fk(A)432 b Fl(=)f Fk(B)67 b Fl(,)479 b(A.)471 b(K.)f(P)-36 b(eters,)480 b(1996.)472 b(Also)e(a)-36 b(v)-72 b(ailable)3474 72795 y(at)433 b Fb(http://www.cis.upenn.edu/~wilf/AeqB.html)p Fl(.)p Black Black eop %%Page: 8 8 8 7 bop Black 0 TeXcolorgray Black 52150 -272 a Fl(8)p Black 800 3824 52000 45 v 800 6075 a(2000)435 b Fh(Mathematics)464 b(Subje)-66 b(ct)463 b(Classi\257c)-66 b(ation)p Fl(:)577 b(05A10,)435 b(33B20,)g(33C20.)800 7680 y Fh(Keywor)-66 b(ds:)734 b Fk(e)p Fh(,)550 b(der)-66 b(angements,)548 b(der)-66 b(angement)531 b(function,)548 b(inc)-66 b(omplete)531 b(gamma)i(function,)549 b(hyp)-66 b(er)g(ge)g(o-)800 9285 y(metric)463 b(function)p 800 10916 V 800 13241 a Fl(\(Concerned)433 b(with)h(sequence)p 0 1 0 0 TeXcolorcmyk 433 w(A000166)p 16090 13453 4878 54 v [[217 598 261 610] [1 1 1 [3 3]] [0 0 1]] (http://www.research.att.com/cgi-bin/access.cgi/as/~njas/sequences/eisA.cgi?Anum=A000166) pdfm Black 2 w(.\))800 15646 y(Receiv)-36 b(ed)312 b(F)-108 b(ebruary)311 b(17,)336 b(2003;)354 b(revised)312 b(v)-36 b(ersion)312 b(receiv)-36 b(ed)312 b(F)-108 b(ebruary)310 b(24,)337 b(2003.)539 b(Published)310 b(in)i Fh(Journal)800 17251 y(of)465 b(Inte)-66 b(ger)462 b(Se)-66 b(quenc)g(es)432 b Fl(F)-108 b(ebruary)432 b(25,)j(2003.)p 800 18882 52000 45 v 800 21133 a(Return)e(to)p 0 1 0 0 TeXcolorcmyk 433 w(Journal)h(of)g(In)-36 b(teger)434 b(Sequences)f(home)g(page)p [[133 527 338 539] [1 1 1 [3 3]] [0 0 1]] (http://www.math.uwaterloo.ca/JIS/) pdfm Black(.)p Black Black eop %%Trailer end end