On the conjecture that, for every $n$, $lfloor e^{frac{p_{n^2}#}{p_{n^2 + 1}}}rfloor $ is a square number.












12












$begingroup$


I was playing around with numbers and I discovered that $$leftlfloor e^{frac{p_4#}{p_5}}rightrfloor=leftlfloor e^{frac{210}{11}}rightrfloor =13981^2,$$ with floor function $lfloor x rfloor := max{minmathbb{Z} : mleqslant x}$; $ p_n$ denotes the $n^{text{th}}$ prime number; $ $and primorial $$p_n#_c := prod_{i=1}^n (p_i + c).tag{$p_n#_0 = p_n#$}$$



Furthermore, $$leftlfloor e^{frac{p_1#}{p_2}}rightrfloor = 1^2.$$ I then made a conjecture with very few support, that $$leftlfloor e^{frac{p_{n^2}#}{p_{n^2 + 1}}}rightrfloor tag1$$ is always a square number, say $k_n^{ 2}$.





Does somebody have a big enough computer to find the value of $(k_n)_{ngeqslant3}$? Or can my conjecture be proven/disproven with a pen and paper? And perhaps, to support the potential of this not being a coincidence, every divisor of $13981$ takes the form $(13981 - 10x)$ for some $xgeqslant 0$. Maybe if this conjecture is true, $k_n > 1$ has this certain property?







Edit 1: With some computational power, I found that $k_3^{ 2}$ has $approx 176,000$ digits. It turned out, however, that I was wrong, and really, $k_3^{ 2}$ has $approx 3,340,970$ digits.



Edit 2: Expressions equivalent to $(1)$, avoiding $e$, for any base $binmathbb{N}_{>1}$:$$leftlfloor b^{frac{p_{n^2}#}{p_{n^2 + 1} cdot Ln(b)}}rightrfloor=k_n^{ 2}$$E.g. base $b=2$:$$leftlfloor 2^{frac{p_{n^2}#}{p_{n^2 + 1} cdot Ln(2)}}rightrfloor=k_n^{ 2}$$E.g. base $b=n^2$:$$leftlfloor (n^2)^{frac{p_{n^2}#}{p_{n^2 + 1} cdot Ln(n^2)}}rightrfloor=k_n^{ 2}$$










share|cite|improve this question











$endgroup$








  • 2




    $begingroup$
    You didn't perchance use your computer's calculator? For huge numbers, you need software like Mathematica (which I use). There are probably clever number-theoretic tests to tell whether a huge number is a square, and I faintly remember a discussion like that here in MSE.
    $endgroup$
    – Tito Piezas III
    Feb 14 '18 at 9:02






  • 1




    $begingroup$
    Yes, that's it. I just realized it considered 600 digits as "large". Yours has more than 3 million digits, so you may have a slight problem applying the algorithm. :)
    $endgroup$
    – Tito Piezas III
    Feb 14 '18 at 9:27








  • 2




    $begingroup$
    @iadvd and it is funny because I was thinking to myself before I discovered something like this, what if I just played around with numbers? and then all of a sudden, bloop there you go. I have also heard of Mills' constant, and have tried making approximations of it (because a formula for it has not been discovered, as far as I know).
    $endgroup$
    – user477343
    Feb 14 '18 at 9:41








  • 1




    $begingroup$
    @iadvd I like the $exp(cdot)$ better but I'm sure everyone gets the idea, and that is the whole point anyway, so i'm not too fussed :)
    $endgroup$
    – user477343
    Feb 15 '18 at 9:54








  • 1




    $begingroup$
    ok I think I might be able to have crack at this one
    $endgroup$
    – Adam
    Oct 26 '18 at 0:01
















12












$begingroup$


I was playing around with numbers and I discovered that $$leftlfloor e^{frac{p_4#}{p_5}}rightrfloor=leftlfloor e^{frac{210}{11}}rightrfloor =13981^2,$$ with floor function $lfloor x rfloor := max{minmathbb{Z} : mleqslant x}$; $ p_n$ denotes the $n^{text{th}}$ prime number; $ $and primorial $$p_n#_c := prod_{i=1}^n (p_i + c).tag{$p_n#_0 = p_n#$}$$



Furthermore, $$leftlfloor e^{frac{p_1#}{p_2}}rightrfloor = 1^2.$$ I then made a conjecture with very few support, that $$leftlfloor e^{frac{p_{n^2}#}{p_{n^2 + 1}}}rightrfloor tag1$$ is always a square number, say $k_n^{ 2}$.





Does somebody have a big enough computer to find the value of $(k_n)_{ngeqslant3}$? Or can my conjecture be proven/disproven with a pen and paper? And perhaps, to support the potential of this not being a coincidence, every divisor of $13981$ takes the form $(13981 - 10x)$ for some $xgeqslant 0$. Maybe if this conjecture is true, $k_n > 1$ has this certain property?







Edit 1: With some computational power, I found that $k_3^{ 2}$ has $approx 176,000$ digits. It turned out, however, that I was wrong, and really, $k_3^{ 2}$ has $approx 3,340,970$ digits.



Edit 2: Expressions equivalent to $(1)$, avoiding $e$, for any base $binmathbb{N}_{>1}$:$$leftlfloor b^{frac{p_{n^2}#}{p_{n^2 + 1} cdot Ln(b)}}rightrfloor=k_n^{ 2}$$E.g. base $b=2$:$$leftlfloor 2^{frac{p_{n^2}#}{p_{n^2 + 1} cdot Ln(2)}}rightrfloor=k_n^{ 2}$$E.g. base $b=n^2$:$$leftlfloor (n^2)^{frac{p_{n^2}#}{p_{n^2 + 1} cdot Ln(n^2)}}rightrfloor=k_n^{ 2}$$










share|cite|improve this question











$endgroup$








  • 2




    $begingroup$
    You didn't perchance use your computer's calculator? For huge numbers, you need software like Mathematica (which I use). There are probably clever number-theoretic tests to tell whether a huge number is a square, and I faintly remember a discussion like that here in MSE.
    $endgroup$
    – Tito Piezas III
    Feb 14 '18 at 9:02






  • 1




    $begingroup$
    Yes, that's it. I just realized it considered 600 digits as "large". Yours has more than 3 million digits, so you may have a slight problem applying the algorithm. :)
    $endgroup$
    – Tito Piezas III
    Feb 14 '18 at 9:27








  • 2




    $begingroup$
    @iadvd and it is funny because I was thinking to myself before I discovered something like this, what if I just played around with numbers? and then all of a sudden, bloop there you go. I have also heard of Mills' constant, and have tried making approximations of it (because a formula for it has not been discovered, as far as I know).
    $endgroup$
    – user477343
    Feb 14 '18 at 9:41








  • 1




    $begingroup$
    @iadvd I like the $exp(cdot)$ better but I'm sure everyone gets the idea, and that is the whole point anyway, so i'm not too fussed :)
    $endgroup$
    – user477343
    Feb 15 '18 at 9:54








  • 1




    $begingroup$
    ok I think I might be able to have crack at this one
    $endgroup$
    – Adam
    Oct 26 '18 at 0:01














12












12








12


8



$begingroup$


I was playing around with numbers and I discovered that $$leftlfloor e^{frac{p_4#}{p_5}}rightrfloor=leftlfloor e^{frac{210}{11}}rightrfloor =13981^2,$$ with floor function $lfloor x rfloor := max{minmathbb{Z} : mleqslant x}$; $ p_n$ denotes the $n^{text{th}}$ prime number; $ $and primorial $$p_n#_c := prod_{i=1}^n (p_i + c).tag{$p_n#_0 = p_n#$}$$



Furthermore, $$leftlfloor e^{frac{p_1#}{p_2}}rightrfloor = 1^2.$$ I then made a conjecture with very few support, that $$leftlfloor e^{frac{p_{n^2}#}{p_{n^2 + 1}}}rightrfloor tag1$$ is always a square number, say $k_n^{ 2}$.





Does somebody have a big enough computer to find the value of $(k_n)_{ngeqslant3}$? Or can my conjecture be proven/disproven with a pen and paper? And perhaps, to support the potential of this not being a coincidence, every divisor of $13981$ takes the form $(13981 - 10x)$ for some $xgeqslant 0$. Maybe if this conjecture is true, $k_n > 1$ has this certain property?







Edit 1: With some computational power, I found that $k_3^{ 2}$ has $approx 176,000$ digits. It turned out, however, that I was wrong, and really, $k_3^{ 2}$ has $approx 3,340,970$ digits.



Edit 2: Expressions equivalent to $(1)$, avoiding $e$, for any base $binmathbb{N}_{>1}$:$$leftlfloor b^{frac{p_{n^2}#}{p_{n^2 + 1} cdot Ln(b)}}rightrfloor=k_n^{ 2}$$E.g. base $b=2$:$$leftlfloor 2^{frac{p_{n^2}#}{p_{n^2 + 1} cdot Ln(2)}}rightrfloor=k_n^{ 2}$$E.g. base $b=n^2$:$$leftlfloor (n^2)^{frac{p_{n^2}#}{p_{n^2 + 1} cdot Ln(n^2)}}rightrfloor=k_n^{ 2}$$










share|cite|improve this question











$endgroup$




I was playing around with numbers and I discovered that $$leftlfloor e^{frac{p_4#}{p_5}}rightrfloor=leftlfloor e^{frac{210}{11}}rightrfloor =13981^2,$$ with floor function $lfloor x rfloor := max{minmathbb{Z} : mleqslant x}$; $ p_n$ denotes the $n^{text{th}}$ prime number; $ $and primorial $$p_n#_c := prod_{i=1}^n (p_i + c).tag{$p_n#_0 = p_n#$}$$



Furthermore, $$leftlfloor e^{frac{p_1#}{p_2}}rightrfloor = 1^2.$$ I then made a conjecture with very few support, that $$leftlfloor e^{frac{p_{n^2}#}{p_{n^2 + 1}}}rightrfloor tag1$$ is always a square number, say $k_n^{ 2}$.





Does somebody have a big enough computer to find the value of $(k_n)_{ngeqslant3}$? Or can my conjecture be proven/disproven with a pen and paper? And perhaps, to support the potential of this not being a coincidence, every divisor of $13981$ takes the form $(13981 - 10x)$ for some $xgeqslant 0$. Maybe if this conjecture is true, $k_n > 1$ has this certain property?







Edit 1: With some computational power, I found that $k_3^{ 2}$ has $approx 176,000$ digits. It turned out, however, that I was wrong, and really, $k_3^{ 2}$ has $approx 3,340,970$ digits.



Edit 2: Expressions equivalent to $(1)$, avoiding $e$, for any base $binmathbb{N}_{>1}$:$$leftlfloor b^{frac{p_{n^2}#}{p_{n^2 + 1} cdot Ln(b)}}rightrfloor=k_n^{ 2}$$E.g. base $b=2$:$$leftlfloor 2^{frac{p_{n^2}#}{p_{n^2 + 1} cdot Ln(2)}}rightrfloor=k_n^{ 2}$$E.g. base $b=n^2$:$$leftlfloor (n^2)^{frac{p_{n^2}#}{p_{n^2 + 1} cdot Ln(n^2)}}rightrfloor=k_n^{ 2}$$







prime-numbers exponential-function conjectures square-numbers primorial






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Feb 16 '18 at 12:52







user477343

















asked Feb 11 '18 at 0:59









user477343user477343

3,59831243




3,59831243








  • 2




    $begingroup$
    You didn't perchance use your computer's calculator? For huge numbers, you need software like Mathematica (which I use). There are probably clever number-theoretic tests to tell whether a huge number is a square, and I faintly remember a discussion like that here in MSE.
    $endgroup$
    – Tito Piezas III
    Feb 14 '18 at 9:02






  • 1




    $begingroup$
    Yes, that's it. I just realized it considered 600 digits as "large". Yours has more than 3 million digits, so you may have a slight problem applying the algorithm. :)
    $endgroup$
    – Tito Piezas III
    Feb 14 '18 at 9:27








  • 2




    $begingroup$
    @iadvd and it is funny because I was thinking to myself before I discovered something like this, what if I just played around with numbers? and then all of a sudden, bloop there you go. I have also heard of Mills' constant, and have tried making approximations of it (because a formula for it has not been discovered, as far as I know).
    $endgroup$
    – user477343
    Feb 14 '18 at 9:41








  • 1




    $begingroup$
    @iadvd I like the $exp(cdot)$ better but I'm sure everyone gets the idea, and that is the whole point anyway, so i'm not too fussed :)
    $endgroup$
    – user477343
    Feb 15 '18 at 9:54








  • 1




    $begingroup$
    ok I think I might be able to have crack at this one
    $endgroup$
    – Adam
    Oct 26 '18 at 0:01














  • 2




    $begingroup$
    You didn't perchance use your computer's calculator? For huge numbers, you need software like Mathematica (which I use). There are probably clever number-theoretic tests to tell whether a huge number is a square, and I faintly remember a discussion like that here in MSE.
    $endgroup$
    – Tito Piezas III
    Feb 14 '18 at 9:02






  • 1




    $begingroup$
    Yes, that's it. I just realized it considered 600 digits as "large". Yours has more than 3 million digits, so you may have a slight problem applying the algorithm. :)
    $endgroup$
    – Tito Piezas III
    Feb 14 '18 at 9:27








  • 2




    $begingroup$
    @iadvd and it is funny because I was thinking to myself before I discovered something like this, what if I just played around with numbers? and then all of a sudden, bloop there you go. I have also heard of Mills' constant, and have tried making approximations of it (because a formula for it has not been discovered, as far as I know).
    $endgroup$
    – user477343
    Feb 14 '18 at 9:41








  • 1




    $begingroup$
    @iadvd I like the $exp(cdot)$ better but I'm sure everyone gets the idea, and that is the whole point anyway, so i'm not too fussed :)
    $endgroup$
    – user477343
    Feb 15 '18 at 9:54








  • 1




    $begingroup$
    ok I think I might be able to have crack at this one
    $endgroup$
    – Adam
    Oct 26 '18 at 0:01








2




2




$begingroup$
You didn't perchance use your computer's calculator? For huge numbers, you need software like Mathematica (which I use). There are probably clever number-theoretic tests to tell whether a huge number is a square, and I faintly remember a discussion like that here in MSE.
$endgroup$
– Tito Piezas III
Feb 14 '18 at 9:02




$begingroup$
You didn't perchance use your computer's calculator? For huge numbers, you need software like Mathematica (which I use). There are probably clever number-theoretic tests to tell whether a huge number is a square, and I faintly remember a discussion like that here in MSE.
$endgroup$
– Tito Piezas III
Feb 14 '18 at 9:02




1




1




$begingroup$
Yes, that's it. I just realized it considered 600 digits as "large". Yours has more than 3 million digits, so you may have a slight problem applying the algorithm. :)
$endgroup$
– Tito Piezas III
Feb 14 '18 at 9:27






$begingroup$
Yes, that's it. I just realized it considered 600 digits as "large". Yours has more than 3 million digits, so you may have a slight problem applying the algorithm. :)
$endgroup$
– Tito Piezas III
Feb 14 '18 at 9:27






2




2




$begingroup$
@iadvd and it is funny because I was thinking to myself before I discovered something like this, what if I just played around with numbers? and then all of a sudden, bloop there you go. I have also heard of Mills' constant, and have tried making approximations of it (because a formula for it has not been discovered, as far as I know).
$endgroup$
– user477343
Feb 14 '18 at 9:41






$begingroup$
@iadvd and it is funny because I was thinking to myself before I discovered something like this, what if I just played around with numbers? and then all of a sudden, bloop there you go. I have also heard of Mills' constant, and have tried making approximations of it (because a formula for it has not been discovered, as far as I know).
$endgroup$
– user477343
Feb 14 '18 at 9:41






1




1




$begingroup$
@iadvd I like the $exp(cdot)$ better but I'm sure everyone gets the idea, and that is the whole point anyway, so i'm not too fussed :)
$endgroup$
– user477343
Feb 15 '18 at 9:54






$begingroup$
@iadvd I like the $exp(cdot)$ better but I'm sure everyone gets the idea, and that is the whole point anyway, so i'm not too fussed :)
$endgroup$
– user477343
Feb 15 '18 at 9:54






1




1




$begingroup$
ok I think I might be able to have crack at this one
$endgroup$
– Adam
Oct 26 '18 at 0:01




$begingroup$
ok I think I might be able to have crack at this one
$endgroup$
– Adam
Oct 26 '18 at 0:01










1 Answer
1






active

oldest

votes


















1












$begingroup$

Conjectured "formulas" such as this are most likely the result of coincidence as one can easily find a constant $A$ and a function $f$ such that the values of



$$
g(n)=lfloor A^{f(n)} rfloor
$$



are within a given set $S={s_0, s_1, ldots}$, by knowing the density of $S$. For instance, in the case of Mills' prime-generating formula, it is known that there is always a prime in the interval $[(P-1)^3,P^3]$ for $P>1$, so there must exist a positive nonzero constant $A$ such that



$$
m(n)=lfloor A^{3^n}rfloor
$$



yields only primes.



Moreover, don't forget that seemingly remarkable mathematical
coincidences are easy to generate, so by "playing around" one might find formulas such as yours without any real meaning.






share|cite|improve this answer











$endgroup$













    Your Answer





    StackExchange.ifUsing("editor", function () {
    return StackExchange.using("mathjaxEditing", function () {
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    });
    });
    }, "mathjax-editing");

    StackExchange.ready(function() {
    var channelOptions = {
    tags: "".split(" "),
    id: "69"
    };
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function() {
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled) {
    StackExchange.using("snippets", function() {
    createEditor();
    });
    }
    else {
    createEditor();
    }
    });

    function createEditor() {
    StackExchange.prepareEditor({
    heartbeatType: 'answer',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader: {
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    },
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    });


    }
    });














    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2645263%2fon-the-conjecture-that-for-every-n-lfloor-e-fracp-n2-p-n2-1%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    1












    $begingroup$

    Conjectured "formulas" such as this are most likely the result of coincidence as one can easily find a constant $A$ and a function $f$ such that the values of



    $$
    g(n)=lfloor A^{f(n)} rfloor
    $$



    are within a given set $S={s_0, s_1, ldots}$, by knowing the density of $S$. For instance, in the case of Mills' prime-generating formula, it is known that there is always a prime in the interval $[(P-1)^3,P^3]$ for $P>1$, so there must exist a positive nonzero constant $A$ such that



    $$
    m(n)=lfloor A^{3^n}rfloor
    $$



    yields only primes.



    Moreover, don't forget that seemingly remarkable mathematical
    coincidences are easy to generate, so by "playing around" one might find formulas such as yours without any real meaning.






    share|cite|improve this answer











    $endgroup$


















      1












      $begingroup$

      Conjectured "formulas" such as this are most likely the result of coincidence as one can easily find a constant $A$ and a function $f$ such that the values of



      $$
      g(n)=lfloor A^{f(n)} rfloor
      $$



      are within a given set $S={s_0, s_1, ldots}$, by knowing the density of $S$. For instance, in the case of Mills' prime-generating formula, it is known that there is always a prime in the interval $[(P-1)^3,P^3]$ for $P>1$, so there must exist a positive nonzero constant $A$ such that



      $$
      m(n)=lfloor A^{3^n}rfloor
      $$



      yields only primes.



      Moreover, don't forget that seemingly remarkable mathematical
      coincidences are easy to generate, so by "playing around" one might find formulas such as yours without any real meaning.






      share|cite|improve this answer











      $endgroup$
















        1












        1








        1





        $begingroup$

        Conjectured "formulas" such as this are most likely the result of coincidence as one can easily find a constant $A$ and a function $f$ such that the values of



        $$
        g(n)=lfloor A^{f(n)} rfloor
        $$



        are within a given set $S={s_0, s_1, ldots}$, by knowing the density of $S$. For instance, in the case of Mills' prime-generating formula, it is known that there is always a prime in the interval $[(P-1)^3,P^3]$ for $P>1$, so there must exist a positive nonzero constant $A$ such that



        $$
        m(n)=lfloor A^{3^n}rfloor
        $$



        yields only primes.



        Moreover, don't forget that seemingly remarkable mathematical
        coincidences are easy to generate, so by "playing around" one might find formulas such as yours without any real meaning.






        share|cite|improve this answer











        $endgroup$



        Conjectured "formulas" such as this are most likely the result of coincidence as one can easily find a constant $A$ and a function $f$ such that the values of



        $$
        g(n)=lfloor A^{f(n)} rfloor
        $$



        are within a given set $S={s_0, s_1, ldots}$, by knowing the density of $S$. For instance, in the case of Mills' prime-generating formula, it is known that there is always a prime in the interval $[(P-1)^3,P^3]$ for $P>1$, so there must exist a positive nonzero constant $A$ such that



        $$
        m(n)=lfloor A^{3^n}rfloor
        $$



        yields only primes.



        Moreover, don't forget that seemingly remarkable mathematical
        coincidences are easy to generate, so by "playing around" one might find formulas such as yours without any real meaning.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Jan 11 at 11:40

























        answered Jan 7 at 11:53









        KlangenKlangen

        1,72411334




        1,72411334






























            draft saved

            draft discarded




















































            Thanks for contributing an answer to Mathematics Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2645263%2fon-the-conjecture-that-for-every-n-lfloor-e-fracp-n2-p-n2-1%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            MongoDB - Not Authorized To Execute Command

            How to fix TextFormField cause rebuild widget in Flutter

            in spring boot 2.1 many test slices are not allowed anymore due to multiple @BootstrapWith