Proving an Intuitive Result RigorouslyProve that $sumlimits_{r=1}^n (sr^{-1} -r^{-3}) -s log n$ has a limit...

Why isn't it a compile-time error to return a nullptr as a std::string?

What constitutes a syllable?

Dmesg full of I/O errors, smart ok, four disks affected

Should the party get XP for a monster they never attacked?

Justifying Affordable Bespoke Spaceships

Can you use one creature for both convoke and delve for Hogaak?

Counterfeit checks were created for my account. How does this type of fraud work?

Find All Possible Unique Combinations of Letters in a Word

What triggered jesuits' ban on infinitesimals in 1632?

Helping ease my back pain by studying 13 hours everyday , even weekends

What is the "ls" directory in my home directory?

Warnings using NDSolve on wave PDE. "Using maximum number of grid points" , "Warning: scaled local spatial error estimate"

Print one file per line using echo

How long did the SR-71 take to get to cruising altitude?

Why does Linux list NVMe drives as /dev/nvme0 instead of /dev/sda?

What is the meaning of "понаехать"?

In the US, can a former president run again?

Why don't we have a weaning party like Avraham did?

Find the common ancestor between two nodes of a tree

Why isn't my calculation that we should be able to see the sun well beyond the observable universe valid?

Are there any individual aliens that have gained superpowers in the Marvel universe?

What happened to Hopper's girlfriend in season one?

How hard is it to distinguish if I am given remote access to a virtual machine vs a piece of hardware?

Encounter design and XP thresholds



Proving an Intuitive Result Rigorously


Prove that $sumlimits_{r=1}^n (sr^{-1} -r^{-3}) -s log n$ has a limit as $n to infty$, $forall s>1$Did I take this limit correctly?$lim_{krightarrow infty}frac{2^k}{gamma}logmathbb{E}[e^{-gamma frac{X}{2^k}}]$Why “$limlimits_{xrightarrow infty} frac{x+sin x}{x}$ does not exist” is not an acceptable answer?Proving that $lim_{x {to} infty}f(x)=infty $Is $n^2=O(2^{log(n)})$?Finding $limsup_{nrightarrowinfty} n^{frac{log(n)}{n}}$Rate of growth of linear and logarithmic functionsEvaluate $lim_{xrightarrow0^+}{-xlog{x}}$Proving Limit Rigorously






.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty{ margin-bottom:0;
}







0












$begingroup$


I have found that for distinct functions (not constants) $f(x),g(x),h(x)$ that this is true:
$$lim_{x to infty}frac{f(x)g(x)}{f(x)g(x)+h(x)}=1$$ I want to know: why is that, ie is there a rigorous proof for why that is? Maybe a paper to turn to or is it really simple?



EDIT: I realized I probably should have put my actual problem first. I hope this gives more context. For this limit:
$$lim_{nrightarrowinfty}frac{e^{H(n)}log H(n)}{e^gamma nlog(gamma+log n)+frac{n}{loglog n}}$$
$H(n)$ tends to $e^gamma n$, which is the same as $gamma + log n$. So, you can reword it as this:
$$lim_{nrightarrowinfty}frac{e^{gamma + log n}log(gamma + log n)}{(gamma + log n)log(gamma+log n)+frac{n}{loglog n}}$$
So how do you continue to prove that this limit is $1$?










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    It seems that you are assuming that $$lim_{xtoinfty}frac{h(x)}{f(x)g(x)}=0$$ for all functions $f$, $g$, $h$.
    $endgroup$
    – Peter Foreman
    10 hours ago










  • $begingroup$
    Ok, I have a specific limit in mid, let me pull it up.
    $endgroup$
    – Quote Dave
    10 hours ago










  • $begingroup$
    Ok, I edited my question.
    $endgroup$
    – Quote Dave
    10 hours ago










  • $begingroup$
    @QuoteDave Perhaps you should ask a new question; with your edit, your question becomes quite different from what you originally asked.
    $endgroup$
    – Sambo
    10 hours ago










  • $begingroup$
    $mathrm{e}^gamma n neq gamma + ln n$. In particular, try $gamma = 0$, $n = 1$. What is true is that $mathrm{e}^gamma n = mathrm{e}^{gamma + ln n}$ for $n > 0$.
    $endgroup$
    – Eric Towers
    10 hours ago




















0












$begingroup$


I have found that for distinct functions (not constants) $f(x),g(x),h(x)$ that this is true:
$$lim_{x to infty}frac{f(x)g(x)}{f(x)g(x)+h(x)}=1$$ I want to know: why is that, ie is there a rigorous proof for why that is? Maybe a paper to turn to or is it really simple?



EDIT: I realized I probably should have put my actual problem first. I hope this gives more context. For this limit:
$$lim_{nrightarrowinfty}frac{e^{H(n)}log H(n)}{e^gamma nlog(gamma+log n)+frac{n}{loglog n}}$$
$H(n)$ tends to $e^gamma n$, which is the same as $gamma + log n$. So, you can reword it as this:
$$lim_{nrightarrowinfty}frac{e^{gamma + log n}log(gamma + log n)}{(gamma + log n)log(gamma+log n)+frac{n}{loglog n}}$$
So how do you continue to prove that this limit is $1$?










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    It seems that you are assuming that $$lim_{xtoinfty}frac{h(x)}{f(x)g(x)}=0$$ for all functions $f$, $g$, $h$.
    $endgroup$
    – Peter Foreman
    10 hours ago










  • $begingroup$
    Ok, I have a specific limit in mid, let me pull it up.
    $endgroup$
    – Quote Dave
    10 hours ago










  • $begingroup$
    Ok, I edited my question.
    $endgroup$
    – Quote Dave
    10 hours ago










  • $begingroup$
    @QuoteDave Perhaps you should ask a new question; with your edit, your question becomes quite different from what you originally asked.
    $endgroup$
    – Sambo
    10 hours ago










  • $begingroup$
    $mathrm{e}^gamma n neq gamma + ln n$. In particular, try $gamma = 0$, $n = 1$. What is true is that $mathrm{e}^gamma n = mathrm{e}^{gamma + ln n}$ for $n > 0$.
    $endgroup$
    – Eric Towers
    10 hours ago
















0












0








0





$begingroup$


I have found that for distinct functions (not constants) $f(x),g(x),h(x)$ that this is true:
$$lim_{x to infty}frac{f(x)g(x)}{f(x)g(x)+h(x)}=1$$ I want to know: why is that, ie is there a rigorous proof for why that is? Maybe a paper to turn to or is it really simple?



EDIT: I realized I probably should have put my actual problem first. I hope this gives more context. For this limit:
$$lim_{nrightarrowinfty}frac{e^{H(n)}log H(n)}{e^gamma nlog(gamma+log n)+frac{n}{loglog n}}$$
$H(n)$ tends to $e^gamma n$, which is the same as $gamma + log n$. So, you can reword it as this:
$$lim_{nrightarrowinfty}frac{e^{gamma + log n}log(gamma + log n)}{(gamma + log n)log(gamma+log n)+frac{n}{loglog n}}$$
So how do you continue to prove that this limit is $1$?










share|cite|improve this question











$endgroup$




I have found that for distinct functions (not constants) $f(x),g(x),h(x)$ that this is true:
$$lim_{x to infty}frac{f(x)g(x)}{f(x)g(x)+h(x)}=1$$ I want to know: why is that, ie is there a rigorous proof for why that is? Maybe a paper to turn to or is it really simple?



EDIT: I realized I probably should have put my actual problem first. I hope this gives more context. For this limit:
$$lim_{nrightarrowinfty}frac{e^{H(n)}log H(n)}{e^gamma nlog(gamma+log n)+frac{n}{loglog n}}$$
$H(n)$ tends to $e^gamma n$, which is the same as $gamma + log n$. So, you can reword it as this:
$$lim_{nrightarrowinfty}frac{e^{gamma + log n}log(gamma + log n)}{(gamma + log n)log(gamma+log n)+frac{n}{loglog n}}$$
So how do you continue to prove that this limit is $1$?







calculus limits






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 10 hours ago







Quote Dave

















asked 10 hours ago









Quote DaveQuote Dave

12111




12111








  • 1




    $begingroup$
    It seems that you are assuming that $$lim_{xtoinfty}frac{h(x)}{f(x)g(x)}=0$$ for all functions $f$, $g$, $h$.
    $endgroup$
    – Peter Foreman
    10 hours ago










  • $begingroup$
    Ok, I have a specific limit in mid, let me pull it up.
    $endgroup$
    – Quote Dave
    10 hours ago










  • $begingroup$
    Ok, I edited my question.
    $endgroup$
    – Quote Dave
    10 hours ago










  • $begingroup$
    @QuoteDave Perhaps you should ask a new question; with your edit, your question becomes quite different from what you originally asked.
    $endgroup$
    – Sambo
    10 hours ago










  • $begingroup$
    $mathrm{e}^gamma n neq gamma + ln n$. In particular, try $gamma = 0$, $n = 1$. What is true is that $mathrm{e}^gamma n = mathrm{e}^{gamma + ln n}$ for $n > 0$.
    $endgroup$
    – Eric Towers
    10 hours ago
















  • 1




    $begingroup$
    It seems that you are assuming that $$lim_{xtoinfty}frac{h(x)}{f(x)g(x)}=0$$ for all functions $f$, $g$, $h$.
    $endgroup$
    – Peter Foreman
    10 hours ago










  • $begingroup$
    Ok, I have a specific limit in mid, let me pull it up.
    $endgroup$
    – Quote Dave
    10 hours ago










  • $begingroup$
    Ok, I edited my question.
    $endgroup$
    – Quote Dave
    10 hours ago










  • $begingroup$
    @QuoteDave Perhaps you should ask a new question; with your edit, your question becomes quite different from what you originally asked.
    $endgroup$
    – Sambo
    10 hours ago










  • $begingroup$
    $mathrm{e}^gamma n neq gamma + ln n$. In particular, try $gamma = 0$, $n = 1$. What is true is that $mathrm{e}^gamma n = mathrm{e}^{gamma + ln n}$ for $n > 0$.
    $endgroup$
    – Eric Towers
    10 hours ago










1




1




$begingroup$
It seems that you are assuming that $$lim_{xtoinfty}frac{h(x)}{f(x)g(x)}=0$$ for all functions $f$, $g$, $h$.
$endgroup$
– Peter Foreman
10 hours ago




$begingroup$
It seems that you are assuming that $$lim_{xtoinfty}frac{h(x)}{f(x)g(x)}=0$$ for all functions $f$, $g$, $h$.
$endgroup$
– Peter Foreman
10 hours ago












$begingroup$
Ok, I have a specific limit in mid, let me pull it up.
$endgroup$
– Quote Dave
10 hours ago




$begingroup$
Ok, I have a specific limit in mid, let me pull it up.
$endgroup$
– Quote Dave
10 hours ago












$begingroup$
Ok, I edited my question.
$endgroup$
– Quote Dave
10 hours ago




$begingroup$
Ok, I edited my question.
$endgroup$
– Quote Dave
10 hours ago












$begingroup$
@QuoteDave Perhaps you should ask a new question; with your edit, your question becomes quite different from what you originally asked.
$endgroup$
– Sambo
10 hours ago




$begingroup$
@QuoteDave Perhaps you should ask a new question; with your edit, your question becomes quite different from what you originally asked.
$endgroup$
– Sambo
10 hours ago












$begingroup$
$mathrm{e}^gamma n neq gamma + ln n$. In particular, try $gamma = 0$, $n = 1$. What is true is that $mathrm{e}^gamma n = mathrm{e}^{gamma + ln n}$ for $n > 0$.
$endgroup$
– Eric Towers
10 hours ago






$begingroup$
$mathrm{e}^gamma n neq gamma + ln n$. In particular, try $gamma = 0$, $n = 1$. What is true is that $mathrm{e}^gamma n = mathrm{e}^{gamma + ln n}$ for $n > 0$.
$endgroup$
– Eric Towers
10 hours ago












4 Answers
4






active

oldest

votes


















1












$begingroup$

There are many continuous nonconstant functions whose limit is zero. For instance, using three of these, let $f(x) = dfrac{1}{x}$, $g(x) = mathrm{e}^{-x}$, and $h(x) = 1+ dfrac{sin x}{x}$ so that
$$ lim_{x rightarrow infty} frac{f(x)g(x)}{f(x)g(x) + h(x)} = frac{0 cdot 0}{0 cdot 0 + 1} = 0 text{.} $$





Anticipating where your edit is going. Use the manipulation
$$ frac{f}{f+frac{n}{ln ln n}} = frac{f}{f+frac{n}{ln ln n}} cdot frac{, frac{1}{f} ,}{frac{1}{f}} = frac{1}{1 + frac{n}{f ln ln n}} text{.} $$
Since your $f$ grows slightly faster than linearly in $n$, you get $dfrac{1}{1+0}$ as your limit.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Ok, I edited my question.
    $endgroup$
    – Quote Dave
    10 hours ago



















6












$begingroup$

If $f(x)=x$, $g(x)=x^2$, and $h(x)=x^4$, then$$lim_{xtoinfty}frac{f(x)g(x)}{f(x)g(x)+h(x)}=0.$$So, the statement is false.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    I changed it to include non-constants.
    $endgroup$
    – Quote Dave
    10 hours ago






  • 5




    $begingroup$
    And I've edited my answer.
    $endgroup$
    – José Carlos Santos
    10 hours ago










  • $begingroup$
    Ok, I edited my question.
    $endgroup$
    – Quote Dave
    10 hours ago






  • 8




    $begingroup$
    How can someone answer your question if you keep changing it?
    $endgroup$
    – José Carlos Santos
    10 hours ago



















4












$begingroup$

This statement is false as pointed out by Jose.



For example, if I pick $h(x) = f(x)g(x) $, then



$$ lim_{x to infty} frac{f(x) g(x)}{ f(x) g(x) + f(x) g(x)} = frac{1}{2} $$



no matter if you have constant or not, it will always be $frac{1}{2}$






share|cite|improve this answer









$endgroup$





















    1












    $begingroup$

    This is not true in general. For example, if $f$, $g$, and $h$ are all the constant function that maps to $1$, the limit is $1/2$. If you want distinct functions, take $f=1, g=2, h=3$ uniformly to see that the limit is $2/5neq 1$.



    On the other hand, if $h$ is $o(fg)$ and $fg$ is nonzero, then $$lim_{xtoinfty} frac{f(x) g(x)}{f(x)g(x) + h(x)} = lim_{xtoinfty} frac{1}{1 + h(x) / (f(x)g(x))} = 1. $$



    In that situation $fg$ is nonzero, the above argument says that the limit is one if and only if $h = o(fg)$.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      Ok, I edited my question.
      $endgroup$
      – Quote Dave
      10 hours ago












    Your Answer








    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%2f3265503%2fproving-an-intuitive-result-rigorously%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    4 Answers
    4






    active

    oldest

    votes








    4 Answers
    4






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    1












    $begingroup$

    There are many continuous nonconstant functions whose limit is zero. For instance, using three of these, let $f(x) = dfrac{1}{x}$, $g(x) = mathrm{e}^{-x}$, and $h(x) = 1+ dfrac{sin x}{x}$ so that
    $$ lim_{x rightarrow infty} frac{f(x)g(x)}{f(x)g(x) + h(x)} = frac{0 cdot 0}{0 cdot 0 + 1} = 0 text{.} $$





    Anticipating where your edit is going. Use the manipulation
    $$ frac{f}{f+frac{n}{ln ln n}} = frac{f}{f+frac{n}{ln ln n}} cdot frac{, frac{1}{f} ,}{frac{1}{f}} = frac{1}{1 + frac{n}{f ln ln n}} text{.} $$
    Since your $f$ grows slightly faster than linearly in $n$, you get $dfrac{1}{1+0}$ as your limit.






    share|cite|improve this answer











    $endgroup$













    • $begingroup$
      Ok, I edited my question.
      $endgroup$
      – Quote Dave
      10 hours ago
















    1












    $begingroup$

    There are many continuous nonconstant functions whose limit is zero. For instance, using three of these, let $f(x) = dfrac{1}{x}$, $g(x) = mathrm{e}^{-x}$, and $h(x) = 1+ dfrac{sin x}{x}$ so that
    $$ lim_{x rightarrow infty} frac{f(x)g(x)}{f(x)g(x) + h(x)} = frac{0 cdot 0}{0 cdot 0 + 1} = 0 text{.} $$





    Anticipating where your edit is going. Use the manipulation
    $$ frac{f}{f+frac{n}{ln ln n}} = frac{f}{f+frac{n}{ln ln n}} cdot frac{, frac{1}{f} ,}{frac{1}{f}} = frac{1}{1 + frac{n}{f ln ln n}} text{.} $$
    Since your $f$ grows slightly faster than linearly in $n$, you get $dfrac{1}{1+0}$ as your limit.






    share|cite|improve this answer











    $endgroup$













    • $begingroup$
      Ok, I edited my question.
      $endgroup$
      – Quote Dave
      10 hours ago














    1












    1








    1





    $begingroup$

    There are many continuous nonconstant functions whose limit is zero. For instance, using three of these, let $f(x) = dfrac{1}{x}$, $g(x) = mathrm{e}^{-x}$, and $h(x) = 1+ dfrac{sin x}{x}$ so that
    $$ lim_{x rightarrow infty} frac{f(x)g(x)}{f(x)g(x) + h(x)} = frac{0 cdot 0}{0 cdot 0 + 1} = 0 text{.} $$





    Anticipating where your edit is going. Use the manipulation
    $$ frac{f}{f+frac{n}{ln ln n}} = frac{f}{f+frac{n}{ln ln n}} cdot frac{, frac{1}{f} ,}{frac{1}{f}} = frac{1}{1 + frac{n}{f ln ln n}} text{.} $$
    Since your $f$ grows slightly faster than linearly in $n$, you get $dfrac{1}{1+0}$ as your limit.






    share|cite|improve this answer











    $endgroup$



    There are many continuous nonconstant functions whose limit is zero. For instance, using three of these, let $f(x) = dfrac{1}{x}$, $g(x) = mathrm{e}^{-x}$, and $h(x) = 1+ dfrac{sin x}{x}$ so that
    $$ lim_{x rightarrow infty} frac{f(x)g(x)}{f(x)g(x) + h(x)} = frac{0 cdot 0}{0 cdot 0 + 1} = 0 text{.} $$





    Anticipating where your edit is going. Use the manipulation
    $$ frac{f}{f+frac{n}{ln ln n}} = frac{f}{f+frac{n}{ln ln n}} cdot frac{, frac{1}{f} ,}{frac{1}{f}} = frac{1}{1 + frac{n}{f ln ln n}} text{.} $$
    Since your $f$ grows slightly faster than linearly in $n$, you get $dfrac{1}{1+0}$ as your limit.







    share|cite|improve this answer














    share|cite|improve this answer



    share|cite|improve this answer








    edited 10 hours ago

























    answered 10 hours ago









    Eric TowersEric Towers

    34.8k22371




    34.8k22371












    • $begingroup$
      Ok, I edited my question.
      $endgroup$
      – Quote Dave
      10 hours ago


















    • $begingroup$
      Ok, I edited my question.
      $endgroup$
      – Quote Dave
      10 hours ago
















    $begingroup$
    Ok, I edited my question.
    $endgroup$
    – Quote Dave
    10 hours ago




    $begingroup$
    Ok, I edited my question.
    $endgroup$
    – Quote Dave
    10 hours ago













    6












    $begingroup$

    If $f(x)=x$, $g(x)=x^2$, and $h(x)=x^4$, then$$lim_{xtoinfty}frac{f(x)g(x)}{f(x)g(x)+h(x)}=0.$$So, the statement is false.






    share|cite|improve this answer











    $endgroup$













    • $begingroup$
      I changed it to include non-constants.
      $endgroup$
      – Quote Dave
      10 hours ago






    • 5




      $begingroup$
      And I've edited my answer.
      $endgroup$
      – José Carlos Santos
      10 hours ago










    • $begingroup$
      Ok, I edited my question.
      $endgroup$
      – Quote Dave
      10 hours ago






    • 8




      $begingroup$
      How can someone answer your question if you keep changing it?
      $endgroup$
      – José Carlos Santos
      10 hours ago
















    6












    $begingroup$

    If $f(x)=x$, $g(x)=x^2$, and $h(x)=x^4$, then$$lim_{xtoinfty}frac{f(x)g(x)}{f(x)g(x)+h(x)}=0.$$So, the statement is false.






    share|cite|improve this answer











    $endgroup$













    • $begingroup$
      I changed it to include non-constants.
      $endgroup$
      – Quote Dave
      10 hours ago






    • 5




      $begingroup$
      And I've edited my answer.
      $endgroup$
      – José Carlos Santos
      10 hours ago










    • $begingroup$
      Ok, I edited my question.
      $endgroup$
      – Quote Dave
      10 hours ago






    • 8




      $begingroup$
      How can someone answer your question if you keep changing it?
      $endgroup$
      – José Carlos Santos
      10 hours ago














    6












    6








    6





    $begingroup$

    If $f(x)=x$, $g(x)=x^2$, and $h(x)=x^4$, then$$lim_{xtoinfty}frac{f(x)g(x)}{f(x)g(x)+h(x)}=0.$$So, the statement is false.






    share|cite|improve this answer











    $endgroup$



    If $f(x)=x$, $g(x)=x^2$, and $h(x)=x^4$, then$$lim_{xtoinfty}frac{f(x)g(x)}{f(x)g(x)+h(x)}=0.$$So, the statement is false.







    share|cite|improve this answer














    share|cite|improve this answer



    share|cite|improve this answer








    edited 10 hours ago

























    answered 10 hours ago









    José Carlos SantosJosé Carlos Santos

    193k24148266




    193k24148266












    • $begingroup$
      I changed it to include non-constants.
      $endgroup$
      – Quote Dave
      10 hours ago






    • 5




      $begingroup$
      And I've edited my answer.
      $endgroup$
      – José Carlos Santos
      10 hours ago










    • $begingroup$
      Ok, I edited my question.
      $endgroup$
      – Quote Dave
      10 hours ago






    • 8




      $begingroup$
      How can someone answer your question if you keep changing it?
      $endgroup$
      – José Carlos Santos
      10 hours ago


















    • $begingroup$
      I changed it to include non-constants.
      $endgroup$
      – Quote Dave
      10 hours ago






    • 5




      $begingroup$
      And I've edited my answer.
      $endgroup$
      – José Carlos Santos
      10 hours ago










    • $begingroup$
      Ok, I edited my question.
      $endgroup$
      – Quote Dave
      10 hours ago






    • 8




      $begingroup$
      How can someone answer your question if you keep changing it?
      $endgroup$
      – José Carlos Santos
      10 hours ago
















    $begingroup$
    I changed it to include non-constants.
    $endgroup$
    – Quote Dave
    10 hours ago




    $begingroup$
    I changed it to include non-constants.
    $endgroup$
    – Quote Dave
    10 hours ago




    5




    5




    $begingroup$
    And I've edited my answer.
    $endgroup$
    – José Carlos Santos
    10 hours ago




    $begingroup$
    And I've edited my answer.
    $endgroup$
    – José Carlos Santos
    10 hours ago












    $begingroup$
    Ok, I edited my question.
    $endgroup$
    – Quote Dave
    10 hours ago




    $begingroup$
    Ok, I edited my question.
    $endgroup$
    – Quote Dave
    10 hours ago




    8




    8




    $begingroup$
    How can someone answer your question if you keep changing it?
    $endgroup$
    – José Carlos Santos
    10 hours ago




    $begingroup$
    How can someone answer your question if you keep changing it?
    $endgroup$
    – José Carlos Santos
    10 hours ago











    4












    $begingroup$

    This statement is false as pointed out by Jose.



    For example, if I pick $h(x) = f(x)g(x) $, then



    $$ lim_{x to infty} frac{f(x) g(x)}{ f(x) g(x) + f(x) g(x)} = frac{1}{2} $$



    no matter if you have constant or not, it will always be $frac{1}{2}$






    share|cite|improve this answer









    $endgroup$


















      4












      $begingroup$

      This statement is false as pointed out by Jose.



      For example, if I pick $h(x) = f(x)g(x) $, then



      $$ lim_{x to infty} frac{f(x) g(x)}{ f(x) g(x) + f(x) g(x)} = frac{1}{2} $$



      no matter if you have constant or not, it will always be $frac{1}{2}$






      share|cite|improve this answer









      $endgroup$
















        4












        4








        4





        $begingroup$

        This statement is false as pointed out by Jose.



        For example, if I pick $h(x) = f(x)g(x) $, then



        $$ lim_{x to infty} frac{f(x) g(x)}{ f(x) g(x) + f(x) g(x)} = frac{1}{2} $$



        no matter if you have constant or not, it will always be $frac{1}{2}$






        share|cite|improve this answer









        $endgroup$



        This statement is false as pointed out by Jose.



        For example, if I pick $h(x) = f(x)g(x) $, then



        $$ lim_{x to infty} frac{f(x) g(x)}{ f(x) g(x) + f(x) g(x)} = frac{1}{2} $$



        no matter if you have constant or not, it will always be $frac{1}{2}$







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered 10 hours ago









        user209663user209663

        1,004411




        1,004411























            1












            $begingroup$

            This is not true in general. For example, if $f$, $g$, and $h$ are all the constant function that maps to $1$, the limit is $1/2$. If you want distinct functions, take $f=1, g=2, h=3$ uniformly to see that the limit is $2/5neq 1$.



            On the other hand, if $h$ is $o(fg)$ and $fg$ is nonzero, then $$lim_{xtoinfty} frac{f(x) g(x)}{f(x)g(x) + h(x)} = lim_{xtoinfty} frac{1}{1 + h(x) / (f(x)g(x))} = 1. $$



            In that situation $fg$ is nonzero, the above argument says that the limit is one if and only if $h = o(fg)$.






            share|cite|improve this answer









            $endgroup$













            • $begingroup$
              Ok, I edited my question.
              $endgroup$
              – Quote Dave
              10 hours ago
















            1












            $begingroup$

            This is not true in general. For example, if $f$, $g$, and $h$ are all the constant function that maps to $1$, the limit is $1/2$. If you want distinct functions, take $f=1, g=2, h=3$ uniformly to see that the limit is $2/5neq 1$.



            On the other hand, if $h$ is $o(fg)$ and $fg$ is nonzero, then $$lim_{xtoinfty} frac{f(x) g(x)}{f(x)g(x) + h(x)} = lim_{xtoinfty} frac{1}{1 + h(x) / (f(x)g(x))} = 1. $$



            In that situation $fg$ is nonzero, the above argument says that the limit is one if and only if $h = o(fg)$.






            share|cite|improve this answer









            $endgroup$













            • $begingroup$
              Ok, I edited my question.
              $endgroup$
              – Quote Dave
              10 hours ago














            1












            1








            1





            $begingroup$

            This is not true in general. For example, if $f$, $g$, and $h$ are all the constant function that maps to $1$, the limit is $1/2$. If you want distinct functions, take $f=1, g=2, h=3$ uniformly to see that the limit is $2/5neq 1$.



            On the other hand, if $h$ is $o(fg)$ and $fg$ is nonzero, then $$lim_{xtoinfty} frac{f(x) g(x)}{f(x)g(x) + h(x)} = lim_{xtoinfty} frac{1}{1 + h(x) / (f(x)g(x))} = 1. $$



            In that situation $fg$ is nonzero, the above argument says that the limit is one if and only if $h = o(fg)$.






            share|cite|improve this answer









            $endgroup$



            This is not true in general. For example, if $f$, $g$, and $h$ are all the constant function that maps to $1$, the limit is $1/2$. If you want distinct functions, take $f=1, g=2, h=3$ uniformly to see that the limit is $2/5neq 1$.



            On the other hand, if $h$ is $o(fg)$ and $fg$ is nonzero, then $$lim_{xtoinfty} frac{f(x) g(x)}{f(x)g(x) + h(x)} = lim_{xtoinfty} frac{1}{1 + h(x) / (f(x)g(x))} = 1. $$



            In that situation $fg$ is nonzero, the above argument says that the limit is one if and only if $h = o(fg)$.







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered 10 hours ago









            cdipaolocdipaolo

            705313




            705313












            • $begingroup$
              Ok, I edited my question.
              $endgroup$
              – Quote Dave
              10 hours ago


















            • $begingroup$
              Ok, I edited my question.
              $endgroup$
              – Quote Dave
              10 hours ago
















            $begingroup$
            Ok, I edited my question.
            $endgroup$
            – Quote Dave
            10 hours ago




            $begingroup$
            Ok, I edited my question.
            $endgroup$
            – Quote Dave
            10 hours ago


















            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%2f3265503%2fproving-an-intuitive-result-rigorously%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

            Taj Mahal Inhaltsverzeichnis Aufbau | Geschichte | 350-Jahr-Feier | Heutige Bedeutung | Siehe auch |...

            Baia Sprie Cuprins Etimologie | Istorie | Demografie | Politică și administrație | Arii naturale...

            Nicolae Petrescu-Găină Cuprins Biografie | Opera | In memoriam | Varia | Controverse, incertitudini...