Which of the following statements are true for $A={tsin(frac{1}{t}) | tin (0,frac{2}{pi})}$?












1












$begingroup$


Let $A={tsin(frac{1}{t}) | tin (0,frac{2}{pi})}$.



Then




  1. $sup (A)<frac{2}{pi}+frac{1}{npi}$ for all $nge 1$.


  2. $inf (A)> frac{-2}{3pi}-frac{1}{npi}$ for all $nge 1$.


  3. $sup (A)=1$

  4. $inf (A)=-1$


My answer was options $1$ and $2$ which matched with prelim answer key provided by organization, but the final answer key changed the answer to option $1$ only. Why is option $2$ not correct?



My attempt-



As $-tle tsin(1/t)le t$. So $tsin(1/t)$ will always be less than $frac{2}{pi}$ which is strictly less than $1$. So option $3$ is false and option $1$ is true. Also value of $tsin(1/t)$ is always greater than or equal to $-2/pi=-0.63$, so infimum cannot be $-1$.



Now at $t=2/3pi$ , function has value $frac{-2}{3pi}$. So if option $2$ is false we must have some value of $t$ in $A$ for which the function attains value strictly less than $frac{-2}{3pi}$. Right?



Can you please help me with option $2$ now. Thanks in advance.










share|cite|improve this question











$endgroup$












  • $begingroup$
    Please show us some work.
    $endgroup$
    – GNUSupporter 8964民主女神 地下教會
    Nov 30 '18 at 17:28










  • $begingroup$
    @GNUSupporter8964民主女神地下教會 please see edit.
    $endgroup$
    – blabla
    Nov 30 '18 at 17:51










  • $begingroup$
    Are you sure it's $-1/(npi)$ in option $2$ and not $+1/(npi)$ ?
    $endgroup$
    – Thinking
    Nov 30 '18 at 17:56










  • $begingroup$
    @Thinking yes...
    $endgroup$
    – blabla
    Nov 30 '18 at 18:00










  • $begingroup$
    Thx for pinging me. Close vote removed.
    $endgroup$
    – GNUSupporter 8964民主女神 地下教會
    Nov 30 '18 at 18:56
















1












$begingroup$


Let $A={tsin(frac{1}{t}) | tin (0,frac{2}{pi})}$.



Then




  1. $sup (A)<frac{2}{pi}+frac{1}{npi}$ for all $nge 1$.


  2. $inf (A)> frac{-2}{3pi}-frac{1}{npi}$ for all $nge 1$.


  3. $sup (A)=1$

  4. $inf (A)=-1$


My answer was options $1$ and $2$ which matched with prelim answer key provided by organization, but the final answer key changed the answer to option $1$ only. Why is option $2$ not correct?



My attempt-



As $-tle tsin(1/t)le t$. So $tsin(1/t)$ will always be less than $frac{2}{pi}$ which is strictly less than $1$. So option $3$ is false and option $1$ is true. Also value of $tsin(1/t)$ is always greater than or equal to $-2/pi=-0.63$, so infimum cannot be $-1$.



Now at $t=2/3pi$ , function has value $frac{-2}{3pi}$. So if option $2$ is false we must have some value of $t$ in $A$ for which the function attains value strictly less than $frac{-2}{3pi}$. Right?



Can you please help me with option $2$ now. Thanks in advance.










share|cite|improve this question











$endgroup$












  • $begingroup$
    Please show us some work.
    $endgroup$
    – GNUSupporter 8964民主女神 地下教會
    Nov 30 '18 at 17:28










  • $begingroup$
    @GNUSupporter8964民主女神地下教會 please see edit.
    $endgroup$
    – blabla
    Nov 30 '18 at 17:51










  • $begingroup$
    Are you sure it's $-1/(npi)$ in option $2$ and not $+1/(npi)$ ?
    $endgroup$
    – Thinking
    Nov 30 '18 at 17:56










  • $begingroup$
    @Thinking yes...
    $endgroup$
    – blabla
    Nov 30 '18 at 18:00










  • $begingroup$
    Thx for pinging me. Close vote removed.
    $endgroup$
    – GNUSupporter 8964民主女神 地下教會
    Nov 30 '18 at 18:56














1












1








1





$begingroup$


Let $A={tsin(frac{1}{t}) | tin (0,frac{2}{pi})}$.



Then




  1. $sup (A)<frac{2}{pi}+frac{1}{npi}$ for all $nge 1$.


  2. $inf (A)> frac{-2}{3pi}-frac{1}{npi}$ for all $nge 1$.


  3. $sup (A)=1$

  4. $inf (A)=-1$


My answer was options $1$ and $2$ which matched with prelim answer key provided by organization, but the final answer key changed the answer to option $1$ only. Why is option $2$ not correct?



My attempt-



As $-tle tsin(1/t)le t$. So $tsin(1/t)$ will always be less than $frac{2}{pi}$ which is strictly less than $1$. So option $3$ is false and option $1$ is true. Also value of $tsin(1/t)$ is always greater than or equal to $-2/pi=-0.63$, so infimum cannot be $-1$.



Now at $t=2/3pi$ , function has value $frac{-2}{3pi}$. So if option $2$ is false we must have some value of $t$ in $A$ for which the function attains value strictly less than $frac{-2}{3pi}$. Right?



Can you please help me with option $2$ now. Thanks in advance.










share|cite|improve this question











$endgroup$




Let $A={tsin(frac{1}{t}) | tin (0,frac{2}{pi})}$.



Then




  1. $sup (A)<frac{2}{pi}+frac{1}{npi}$ for all $nge 1$.


  2. $inf (A)> frac{-2}{3pi}-frac{1}{npi}$ for all $nge 1$.


  3. $sup (A)=1$

  4. $inf (A)=-1$


My answer was options $1$ and $2$ which matched with prelim answer key provided by organization, but the final answer key changed the answer to option $1$ only. Why is option $2$ not correct?



My attempt-



As $-tle tsin(1/t)le t$. So $tsin(1/t)$ will always be less than $frac{2}{pi}$ which is strictly less than $1$. So option $3$ is false and option $1$ is true. Also value of $tsin(1/t)$ is always greater than or equal to $-2/pi=-0.63$, so infimum cannot be $-1$.



Now at $t=2/3pi$ , function has value $frac{-2}{3pi}$. So if option $2$ is false we must have some value of $t$ in $A$ for which the function attains value strictly less than $frac{-2}{3pi}$. Right?



Can you please help me with option $2$ now. Thanks in advance.







real-analysis supremum-and-infimum






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 30 '18 at 18:23







blabla

















asked Nov 30 '18 at 17:24









blablablabla

444211




444211












  • $begingroup$
    Please show us some work.
    $endgroup$
    – GNUSupporter 8964民主女神 地下教會
    Nov 30 '18 at 17:28










  • $begingroup$
    @GNUSupporter8964民主女神地下教會 please see edit.
    $endgroup$
    – blabla
    Nov 30 '18 at 17:51










  • $begingroup$
    Are you sure it's $-1/(npi)$ in option $2$ and not $+1/(npi)$ ?
    $endgroup$
    – Thinking
    Nov 30 '18 at 17:56










  • $begingroup$
    @Thinking yes...
    $endgroup$
    – blabla
    Nov 30 '18 at 18:00










  • $begingroup$
    Thx for pinging me. Close vote removed.
    $endgroup$
    – GNUSupporter 8964民主女神 地下教會
    Nov 30 '18 at 18:56


















  • $begingroup$
    Please show us some work.
    $endgroup$
    – GNUSupporter 8964民主女神 地下教會
    Nov 30 '18 at 17:28










  • $begingroup$
    @GNUSupporter8964民主女神地下教會 please see edit.
    $endgroup$
    – blabla
    Nov 30 '18 at 17:51










  • $begingroup$
    Are you sure it's $-1/(npi)$ in option $2$ and not $+1/(npi)$ ?
    $endgroup$
    – Thinking
    Nov 30 '18 at 17:56










  • $begingroup$
    @Thinking yes...
    $endgroup$
    – blabla
    Nov 30 '18 at 18:00










  • $begingroup$
    Thx for pinging me. Close vote removed.
    $endgroup$
    – GNUSupporter 8964民主女神 地下教會
    Nov 30 '18 at 18:56
















$begingroup$
Please show us some work.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 17:28




$begingroup$
Please show us some work.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 17:28












$begingroup$
@GNUSupporter8964民主女神地下教會 please see edit.
$endgroup$
– blabla
Nov 30 '18 at 17:51




$begingroup$
@GNUSupporter8964民主女神地下教會 please see edit.
$endgroup$
– blabla
Nov 30 '18 at 17:51












$begingroup$
Are you sure it's $-1/(npi)$ in option $2$ and not $+1/(npi)$ ?
$endgroup$
– Thinking
Nov 30 '18 at 17:56




$begingroup$
Are you sure it's $-1/(npi)$ in option $2$ and not $+1/(npi)$ ?
$endgroup$
– Thinking
Nov 30 '18 at 17:56












$begingroup$
@Thinking yes...
$endgroup$
– blabla
Nov 30 '18 at 18:00




$begingroup$
@Thinking yes...
$endgroup$
– blabla
Nov 30 '18 at 18:00












$begingroup$
Thx for pinging me. Close vote removed.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 18:56




$begingroup$
Thx for pinging me. Close vote removed.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 18:56










4 Answers
4






active

oldest

votes


















2












$begingroup$

If the option $2$ is true, it means that $$inf Age -{2over 3pi}$$ since $inf A> -{2over 3pi}-{1over npi}$ is true for all $n>1$. Since $$large tsin {1over t}Big|_{t={2over 3pi}in A}=-{2over 3pi}$$ then we must have $inf A= -{2over 3pi}$ and $$large {dover dt}tsin {1over t}Big|_{t={2over 3pi}in A}=0$$ because the infimum is equal to minimum now (since it is attained in $t={2over 3pi}in A$) and as the function is differentiable in $A$. But this doesn't hold since $$large {dover dt}tsin {1over t}Big|_{t={2over 3pi}in A}=large sin {1over t}-{1over t}cos {1over t}Big|_{t={2over 3pi}}=-1ne 0$$therefore option $2$ is incorrect.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    (you have functions of $t$ but you evaluate at $x=...$)
    $endgroup$
    – Calvin Khor
    Nov 30 '18 at 19:55










  • $begingroup$
    Thank you for heads up. That was a typo....
    $endgroup$
    – Mostafa Ayaz
    Nov 30 '18 at 20:04



















1












$begingroup$

The graph of $sin(1/t)$ turns at $t=2/3pi$, but this is not true of $tsin(1/t)$. Multiplying by $t$ has the effect of pushing the minimum point to the right and down slightly.



enter image description hereenter image description here
Since $a>b-frac{1}{pi n}$ for all $nge 1$ iff $age b$, we are done.



To see this without a graph, lets start from your correct observation that for $f(t) = tsin (1/t)$, $f(2/3pi) = -2/3pi$. The derivative at this point however is
$$ f'(3pi/2) = sin(3pi/2) + 2/3pi cos(3pi/2) = -1 $$



Since $f$ is smooth on a small neighbourhood of $2/3pi$, $f'le -1/2<0$ on this neighbourhood. Thus $f$ is decreasing at $2/3pi$.



Something slightly more general is true:




Suppose $f$ is smooth, $f(1)=0=f(2)$, $fle 0$ and $f$ has a unique non degenerate minimum point $x_0$ in $[1,2]$. Then $g(x)=xf(x)$ has a minimum point to the right and below of $x_0$.




Proof- by a similar computation to the above, $g$ is decreasing at $x_0$. As $g(2)=2f(2)=0$, we conclude by Intermediate Value Theorem and Rolles' Theorem.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Can you prove it using the first derivative test?
    $endgroup$
    – GNUSupporter 8964民主女神 地下教會
    Nov 30 '18 at 19:10










  • $begingroup$
    @GNUSupporter8964民主女神地下教會 do you mean the claim that the minimum is pushed to the right?
    $endgroup$
    – Calvin Khor
    Nov 30 '18 at 19:12










  • $begingroup$
    Yes, thx for edit.
    $endgroup$
    – GNUSupporter 8964民主女神 地下教會
    Nov 30 '18 at 20:12



















1












$begingroup$

Like some other answers, but written differently:



Let $f(t)= tsin(1/t).$ Then $f'(t)= sin(1/t) - [cos (1/t)]/t$ for $t>0.$ Thus $f'(2/(3pi)) = -1.$ Hence for $t$ near and to the right of $2/(3pi),$ we have



$$frac{f(t)-f(2/(3pi)}{t-2/(3pi)}<-frac{1}{2}.$$



For such $t$ we have $f(t)<f(2/(3pi)=-2/(3pi).$ Hence $inf A <-2/(3pi),$ which implies 2. does not hold.






share|cite|improve this answer









$endgroup$





















    0












    $begingroup$

    Let $x=1/timplies A={frac{sin x}x:x>pi/2}$



    Let $f(x)=frac{sin x}x, x>pi/2$



    $f(3pi/2)=-frac2{3pi}<0, f'(3pi/2)>0implies f$ is strictly increasing at $3pi/2$



    This means you can find $ainvarepsilon-$neighbourhood of $3pi/2$ such that $f(a)<f(3pi/2)implies f(a)<-frac2{3pi}$






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      This is wrong. The fact that $f'(a) < 0$ doesn't mean there is a neighbourhood of $a$ where the function is strictly decreasing. Take for example : $xmapsto x+10x^2sin(1/x)$
      $endgroup$
      – Thinking
      Nov 30 '18 at 18:47










    • $begingroup$
      at $0$ it doesn't verify what you are saying
      $endgroup$
      – Thinking
      Nov 30 '18 at 19:22










    • $begingroup$
      $sin x/x$ is continuously differentiable for $x>pi/2$
      $endgroup$
      – Shubham Johri
      Nov 30 '18 at 19:26










    • $begingroup$
      That's not my point. Look at my first comment.
      $endgroup$
      – Thinking
      Nov 30 '18 at 19:27










    • $begingroup$
      The result holds for continuously differentiable functions. $x+10x^2sin(1/x)$ is not continuously differentiable at $0$.
      $endgroup$
      – Shubham Johri
      Nov 30 '18 at 19:37













    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%2f3020365%2fwhich-of-the-following-statements-are-true-for-a-t-sin-frac1t-t-in%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









    2












    $begingroup$

    If the option $2$ is true, it means that $$inf Age -{2over 3pi}$$ since $inf A> -{2over 3pi}-{1over npi}$ is true for all $n>1$. Since $$large tsin {1over t}Big|_{t={2over 3pi}in A}=-{2over 3pi}$$ then we must have $inf A= -{2over 3pi}$ and $$large {dover dt}tsin {1over t}Big|_{t={2over 3pi}in A}=0$$ because the infimum is equal to minimum now (since it is attained in $t={2over 3pi}in A$) and as the function is differentiable in $A$. But this doesn't hold since $$large {dover dt}tsin {1over t}Big|_{t={2over 3pi}in A}=large sin {1over t}-{1over t}cos {1over t}Big|_{t={2over 3pi}}=-1ne 0$$therefore option $2$ is incorrect.






    share|cite|improve this answer











    $endgroup$













    • $begingroup$
      (you have functions of $t$ but you evaluate at $x=...$)
      $endgroup$
      – Calvin Khor
      Nov 30 '18 at 19:55










    • $begingroup$
      Thank you for heads up. That was a typo....
      $endgroup$
      – Mostafa Ayaz
      Nov 30 '18 at 20:04
















    2












    $begingroup$

    If the option $2$ is true, it means that $$inf Age -{2over 3pi}$$ since $inf A> -{2over 3pi}-{1over npi}$ is true for all $n>1$. Since $$large tsin {1over t}Big|_{t={2over 3pi}in A}=-{2over 3pi}$$ then we must have $inf A= -{2over 3pi}$ and $$large {dover dt}tsin {1over t}Big|_{t={2over 3pi}in A}=0$$ because the infimum is equal to minimum now (since it is attained in $t={2over 3pi}in A$) and as the function is differentiable in $A$. But this doesn't hold since $$large {dover dt}tsin {1over t}Big|_{t={2over 3pi}in A}=large sin {1over t}-{1over t}cos {1over t}Big|_{t={2over 3pi}}=-1ne 0$$therefore option $2$ is incorrect.






    share|cite|improve this answer











    $endgroup$













    • $begingroup$
      (you have functions of $t$ but you evaluate at $x=...$)
      $endgroup$
      – Calvin Khor
      Nov 30 '18 at 19:55










    • $begingroup$
      Thank you for heads up. That was a typo....
      $endgroup$
      – Mostafa Ayaz
      Nov 30 '18 at 20:04














    2












    2








    2





    $begingroup$

    If the option $2$ is true, it means that $$inf Age -{2over 3pi}$$ since $inf A> -{2over 3pi}-{1over npi}$ is true for all $n>1$. Since $$large tsin {1over t}Big|_{t={2over 3pi}in A}=-{2over 3pi}$$ then we must have $inf A= -{2over 3pi}$ and $$large {dover dt}tsin {1over t}Big|_{t={2over 3pi}in A}=0$$ because the infimum is equal to minimum now (since it is attained in $t={2over 3pi}in A$) and as the function is differentiable in $A$. But this doesn't hold since $$large {dover dt}tsin {1over t}Big|_{t={2over 3pi}in A}=large sin {1over t}-{1over t}cos {1over t}Big|_{t={2over 3pi}}=-1ne 0$$therefore option $2$ is incorrect.






    share|cite|improve this answer











    $endgroup$



    If the option $2$ is true, it means that $$inf Age -{2over 3pi}$$ since $inf A> -{2over 3pi}-{1over npi}$ is true for all $n>1$. Since $$large tsin {1over t}Big|_{t={2over 3pi}in A}=-{2over 3pi}$$ then we must have $inf A= -{2over 3pi}$ and $$large {dover dt}tsin {1over t}Big|_{t={2over 3pi}in A}=0$$ because the infimum is equal to minimum now (since it is attained in $t={2over 3pi}in A$) and as the function is differentiable in $A$. But this doesn't hold since $$large {dover dt}tsin {1over t}Big|_{t={2over 3pi}in A}=large sin {1over t}-{1over t}cos {1over t}Big|_{t={2over 3pi}}=-1ne 0$$therefore option $2$ is incorrect.







    share|cite|improve this answer














    share|cite|improve this answer



    share|cite|improve this answer








    edited Nov 30 '18 at 20:03

























    answered Nov 30 '18 at 19:10









    Mostafa AyazMostafa Ayaz

    15.6k3939




    15.6k3939












    • $begingroup$
      (you have functions of $t$ but you evaluate at $x=...$)
      $endgroup$
      – Calvin Khor
      Nov 30 '18 at 19:55










    • $begingroup$
      Thank you for heads up. That was a typo....
      $endgroup$
      – Mostafa Ayaz
      Nov 30 '18 at 20:04


















    • $begingroup$
      (you have functions of $t$ but you evaluate at $x=...$)
      $endgroup$
      – Calvin Khor
      Nov 30 '18 at 19:55










    • $begingroup$
      Thank you for heads up. That was a typo....
      $endgroup$
      – Mostafa Ayaz
      Nov 30 '18 at 20:04
















    $begingroup$
    (you have functions of $t$ but you evaluate at $x=...$)
    $endgroup$
    – Calvin Khor
    Nov 30 '18 at 19:55




    $begingroup$
    (you have functions of $t$ but you evaluate at $x=...$)
    $endgroup$
    – Calvin Khor
    Nov 30 '18 at 19:55












    $begingroup$
    Thank you for heads up. That was a typo....
    $endgroup$
    – Mostafa Ayaz
    Nov 30 '18 at 20:04




    $begingroup$
    Thank you for heads up. That was a typo....
    $endgroup$
    – Mostafa Ayaz
    Nov 30 '18 at 20:04











    1












    $begingroup$

    The graph of $sin(1/t)$ turns at $t=2/3pi$, but this is not true of $tsin(1/t)$. Multiplying by $t$ has the effect of pushing the minimum point to the right and down slightly.



    enter image description hereenter image description here
    Since $a>b-frac{1}{pi n}$ for all $nge 1$ iff $age b$, we are done.



    To see this without a graph, lets start from your correct observation that for $f(t) = tsin (1/t)$, $f(2/3pi) = -2/3pi$. The derivative at this point however is
    $$ f'(3pi/2) = sin(3pi/2) + 2/3pi cos(3pi/2) = -1 $$



    Since $f$ is smooth on a small neighbourhood of $2/3pi$, $f'le -1/2<0$ on this neighbourhood. Thus $f$ is decreasing at $2/3pi$.



    Something slightly more general is true:




    Suppose $f$ is smooth, $f(1)=0=f(2)$, $fle 0$ and $f$ has a unique non degenerate minimum point $x_0$ in $[1,2]$. Then $g(x)=xf(x)$ has a minimum point to the right and below of $x_0$.




    Proof- by a similar computation to the above, $g$ is decreasing at $x_0$. As $g(2)=2f(2)=0$, we conclude by Intermediate Value Theorem and Rolles' Theorem.






    share|cite|improve this answer











    $endgroup$













    • $begingroup$
      Can you prove it using the first derivative test?
      $endgroup$
      – GNUSupporter 8964民主女神 地下教會
      Nov 30 '18 at 19:10










    • $begingroup$
      @GNUSupporter8964民主女神地下教會 do you mean the claim that the minimum is pushed to the right?
      $endgroup$
      – Calvin Khor
      Nov 30 '18 at 19:12










    • $begingroup$
      Yes, thx for edit.
      $endgroup$
      – GNUSupporter 8964民主女神 地下教會
      Nov 30 '18 at 20:12
















    1












    $begingroup$

    The graph of $sin(1/t)$ turns at $t=2/3pi$, but this is not true of $tsin(1/t)$. Multiplying by $t$ has the effect of pushing the minimum point to the right and down slightly.



    enter image description hereenter image description here
    Since $a>b-frac{1}{pi n}$ for all $nge 1$ iff $age b$, we are done.



    To see this without a graph, lets start from your correct observation that for $f(t) = tsin (1/t)$, $f(2/3pi) = -2/3pi$. The derivative at this point however is
    $$ f'(3pi/2) = sin(3pi/2) + 2/3pi cos(3pi/2) = -1 $$



    Since $f$ is smooth on a small neighbourhood of $2/3pi$, $f'le -1/2<0$ on this neighbourhood. Thus $f$ is decreasing at $2/3pi$.



    Something slightly more general is true:




    Suppose $f$ is smooth, $f(1)=0=f(2)$, $fle 0$ and $f$ has a unique non degenerate minimum point $x_0$ in $[1,2]$. Then $g(x)=xf(x)$ has a minimum point to the right and below of $x_0$.




    Proof- by a similar computation to the above, $g$ is decreasing at $x_0$. As $g(2)=2f(2)=0$, we conclude by Intermediate Value Theorem and Rolles' Theorem.






    share|cite|improve this answer











    $endgroup$













    • $begingroup$
      Can you prove it using the first derivative test?
      $endgroup$
      – GNUSupporter 8964民主女神 地下教會
      Nov 30 '18 at 19:10










    • $begingroup$
      @GNUSupporter8964民主女神地下教會 do you mean the claim that the minimum is pushed to the right?
      $endgroup$
      – Calvin Khor
      Nov 30 '18 at 19:12










    • $begingroup$
      Yes, thx for edit.
      $endgroup$
      – GNUSupporter 8964民主女神 地下教會
      Nov 30 '18 at 20:12














    1












    1








    1





    $begingroup$

    The graph of $sin(1/t)$ turns at $t=2/3pi$, but this is not true of $tsin(1/t)$. Multiplying by $t$ has the effect of pushing the minimum point to the right and down slightly.



    enter image description hereenter image description here
    Since $a>b-frac{1}{pi n}$ for all $nge 1$ iff $age b$, we are done.



    To see this without a graph, lets start from your correct observation that for $f(t) = tsin (1/t)$, $f(2/3pi) = -2/3pi$. The derivative at this point however is
    $$ f'(3pi/2) = sin(3pi/2) + 2/3pi cos(3pi/2) = -1 $$



    Since $f$ is smooth on a small neighbourhood of $2/3pi$, $f'le -1/2<0$ on this neighbourhood. Thus $f$ is decreasing at $2/3pi$.



    Something slightly more general is true:




    Suppose $f$ is smooth, $f(1)=0=f(2)$, $fle 0$ and $f$ has a unique non degenerate minimum point $x_0$ in $[1,2]$. Then $g(x)=xf(x)$ has a minimum point to the right and below of $x_0$.




    Proof- by a similar computation to the above, $g$ is decreasing at $x_0$. As $g(2)=2f(2)=0$, we conclude by Intermediate Value Theorem and Rolles' Theorem.






    share|cite|improve this answer











    $endgroup$



    The graph of $sin(1/t)$ turns at $t=2/3pi$, but this is not true of $tsin(1/t)$. Multiplying by $t$ has the effect of pushing the minimum point to the right and down slightly.



    enter image description hereenter image description here
    Since $a>b-frac{1}{pi n}$ for all $nge 1$ iff $age b$, we are done.



    To see this without a graph, lets start from your correct observation that for $f(t) = tsin (1/t)$, $f(2/3pi) = -2/3pi$. The derivative at this point however is
    $$ f'(3pi/2) = sin(3pi/2) + 2/3pi cos(3pi/2) = -1 $$



    Since $f$ is smooth on a small neighbourhood of $2/3pi$, $f'le -1/2<0$ on this neighbourhood. Thus $f$ is decreasing at $2/3pi$.



    Something slightly more general is true:




    Suppose $f$ is smooth, $f(1)=0=f(2)$, $fle 0$ and $f$ has a unique non degenerate minimum point $x_0$ in $[1,2]$. Then $g(x)=xf(x)$ has a minimum point to the right and below of $x_0$.




    Proof- by a similar computation to the above, $g$ is decreasing at $x_0$. As $g(2)=2f(2)=0$, we conclude by Intermediate Value Theorem and Rolles' Theorem.







    share|cite|improve this answer














    share|cite|improve this answer



    share|cite|improve this answer








    edited Nov 30 '18 at 19:30

























    answered Nov 30 '18 at 18:34









    Calvin KhorCalvin Khor

    11.8k21438




    11.8k21438












    • $begingroup$
      Can you prove it using the first derivative test?
      $endgroup$
      – GNUSupporter 8964民主女神 地下教會
      Nov 30 '18 at 19:10










    • $begingroup$
      @GNUSupporter8964民主女神地下教會 do you mean the claim that the minimum is pushed to the right?
      $endgroup$
      – Calvin Khor
      Nov 30 '18 at 19:12










    • $begingroup$
      Yes, thx for edit.
      $endgroup$
      – GNUSupporter 8964民主女神 地下教會
      Nov 30 '18 at 20:12


















    • $begingroup$
      Can you prove it using the first derivative test?
      $endgroup$
      – GNUSupporter 8964民主女神 地下教會
      Nov 30 '18 at 19:10










    • $begingroup$
      @GNUSupporter8964民主女神地下教會 do you mean the claim that the minimum is pushed to the right?
      $endgroup$
      – Calvin Khor
      Nov 30 '18 at 19:12










    • $begingroup$
      Yes, thx for edit.
      $endgroup$
      – GNUSupporter 8964民主女神 地下教會
      Nov 30 '18 at 20:12
















    $begingroup$
    Can you prove it using the first derivative test?
    $endgroup$
    – GNUSupporter 8964民主女神 地下教會
    Nov 30 '18 at 19:10




    $begingroup$
    Can you prove it using the first derivative test?
    $endgroup$
    – GNUSupporter 8964民主女神 地下教會
    Nov 30 '18 at 19:10












    $begingroup$
    @GNUSupporter8964民主女神地下教會 do you mean the claim that the minimum is pushed to the right?
    $endgroup$
    – Calvin Khor
    Nov 30 '18 at 19:12




    $begingroup$
    @GNUSupporter8964民主女神地下教會 do you mean the claim that the minimum is pushed to the right?
    $endgroup$
    – Calvin Khor
    Nov 30 '18 at 19:12












    $begingroup$
    Yes, thx for edit.
    $endgroup$
    – GNUSupporter 8964民主女神 地下教會
    Nov 30 '18 at 20:12




    $begingroup$
    Yes, thx for edit.
    $endgroup$
    – GNUSupporter 8964民主女神 地下教會
    Nov 30 '18 at 20:12











    1












    $begingroup$

    Like some other answers, but written differently:



    Let $f(t)= tsin(1/t).$ Then $f'(t)= sin(1/t) - [cos (1/t)]/t$ for $t>0.$ Thus $f'(2/(3pi)) = -1.$ Hence for $t$ near and to the right of $2/(3pi),$ we have



    $$frac{f(t)-f(2/(3pi)}{t-2/(3pi)}<-frac{1}{2}.$$



    For such $t$ we have $f(t)<f(2/(3pi)=-2/(3pi).$ Hence $inf A <-2/(3pi),$ which implies 2. does not hold.






    share|cite|improve this answer









    $endgroup$


















      1












      $begingroup$

      Like some other answers, but written differently:



      Let $f(t)= tsin(1/t).$ Then $f'(t)= sin(1/t) - [cos (1/t)]/t$ for $t>0.$ Thus $f'(2/(3pi)) = -1.$ Hence for $t$ near and to the right of $2/(3pi),$ we have



      $$frac{f(t)-f(2/(3pi)}{t-2/(3pi)}<-frac{1}{2}.$$



      For such $t$ we have $f(t)<f(2/(3pi)=-2/(3pi).$ Hence $inf A <-2/(3pi),$ which implies 2. does not hold.






      share|cite|improve this answer









      $endgroup$
















        1












        1








        1





        $begingroup$

        Like some other answers, but written differently:



        Let $f(t)= tsin(1/t).$ Then $f'(t)= sin(1/t) - [cos (1/t)]/t$ for $t>0.$ Thus $f'(2/(3pi)) = -1.$ Hence for $t$ near and to the right of $2/(3pi),$ we have



        $$frac{f(t)-f(2/(3pi)}{t-2/(3pi)}<-frac{1}{2}.$$



        For such $t$ we have $f(t)<f(2/(3pi)=-2/(3pi).$ Hence $inf A <-2/(3pi),$ which implies 2. does not hold.






        share|cite|improve this answer









        $endgroup$



        Like some other answers, but written differently:



        Let $f(t)= tsin(1/t).$ Then $f'(t)= sin(1/t) - [cos (1/t)]/t$ for $t>0.$ Thus $f'(2/(3pi)) = -1.$ Hence for $t$ near and to the right of $2/(3pi),$ we have



        $$frac{f(t)-f(2/(3pi)}{t-2/(3pi)}<-frac{1}{2}.$$



        For such $t$ we have $f(t)<f(2/(3pi)=-2/(3pi).$ Hence $inf A <-2/(3pi),$ which implies 2. does not hold.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Nov 30 '18 at 20:04









        zhw.zhw.

        72.9k43175




        72.9k43175























            0












            $begingroup$

            Let $x=1/timplies A={frac{sin x}x:x>pi/2}$



            Let $f(x)=frac{sin x}x, x>pi/2$



            $f(3pi/2)=-frac2{3pi}<0, f'(3pi/2)>0implies f$ is strictly increasing at $3pi/2$



            This means you can find $ainvarepsilon-$neighbourhood of $3pi/2$ such that $f(a)<f(3pi/2)implies f(a)<-frac2{3pi}$






            share|cite|improve this answer









            $endgroup$













            • $begingroup$
              This is wrong. The fact that $f'(a) < 0$ doesn't mean there is a neighbourhood of $a$ where the function is strictly decreasing. Take for example : $xmapsto x+10x^2sin(1/x)$
              $endgroup$
              – Thinking
              Nov 30 '18 at 18:47










            • $begingroup$
              at $0$ it doesn't verify what you are saying
              $endgroup$
              – Thinking
              Nov 30 '18 at 19:22










            • $begingroup$
              $sin x/x$ is continuously differentiable for $x>pi/2$
              $endgroup$
              – Shubham Johri
              Nov 30 '18 at 19:26










            • $begingroup$
              That's not my point. Look at my first comment.
              $endgroup$
              – Thinking
              Nov 30 '18 at 19:27










            • $begingroup$
              The result holds for continuously differentiable functions. $x+10x^2sin(1/x)$ is not continuously differentiable at $0$.
              $endgroup$
              – Shubham Johri
              Nov 30 '18 at 19:37


















            0












            $begingroup$

            Let $x=1/timplies A={frac{sin x}x:x>pi/2}$



            Let $f(x)=frac{sin x}x, x>pi/2$



            $f(3pi/2)=-frac2{3pi}<0, f'(3pi/2)>0implies f$ is strictly increasing at $3pi/2$



            This means you can find $ainvarepsilon-$neighbourhood of $3pi/2$ such that $f(a)<f(3pi/2)implies f(a)<-frac2{3pi}$






            share|cite|improve this answer









            $endgroup$













            • $begingroup$
              This is wrong. The fact that $f'(a) < 0$ doesn't mean there is a neighbourhood of $a$ where the function is strictly decreasing. Take for example : $xmapsto x+10x^2sin(1/x)$
              $endgroup$
              – Thinking
              Nov 30 '18 at 18:47










            • $begingroup$
              at $0$ it doesn't verify what you are saying
              $endgroup$
              – Thinking
              Nov 30 '18 at 19:22










            • $begingroup$
              $sin x/x$ is continuously differentiable for $x>pi/2$
              $endgroup$
              – Shubham Johri
              Nov 30 '18 at 19:26










            • $begingroup$
              That's not my point. Look at my first comment.
              $endgroup$
              – Thinking
              Nov 30 '18 at 19:27










            • $begingroup$
              The result holds for continuously differentiable functions. $x+10x^2sin(1/x)$ is not continuously differentiable at $0$.
              $endgroup$
              – Shubham Johri
              Nov 30 '18 at 19:37
















            0












            0








            0





            $begingroup$

            Let $x=1/timplies A={frac{sin x}x:x>pi/2}$



            Let $f(x)=frac{sin x}x, x>pi/2$



            $f(3pi/2)=-frac2{3pi}<0, f'(3pi/2)>0implies f$ is strictly increasing at $3pi/2$



            This means you can find $ainvarepsilon-$neighbourhood of $3pi/2$ such that $f(a)<f(3pi/2)implies f(a)<-frac2{3pi}$






            share|cite|improve this answer









            $endgroup$



            Let $x=1/timplies A={frac{sin x}x:x>pi/2}$



            Let $f(x)=frac{sin x}x, x>pi/2$



            $f(3pi/2)=-frac2{3pi}<0, f'(3pi/2)>0implies f$ is strictly increasing at $3pi/2$



            This means you can find $ainvarepsilon-$neighbourhood of $3pi/2$ such that $f(a)<f(3pi/2)implies f(a)<-frac2{3pi}$







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered Nov 30 '18 at 18:31









            Shubham JohriShubham Johri

            5,172717




            5,172717












            • $begingroup$
              This is wrong. The fact that $f'(a) < 0$ doesn't mean there is a neighbourhood of $a$ where the function is strictly decreasing. Take for example : $xmapsto x+10x^2sin(1/x)$
              $endgroup$
              – Thinking
              Nov 30 '18 at 18:47










            • $begingroup$
              at $0$ it doesn't verify what you are saying
              $endgroup$
              – Thinking
              Nov 30 '18 at 19:22










            • $begingroup$
              $sin x/x$ is continuously differentiable for $x>pi/2$
              $endgroup$
              – Shubham Johri
              Nov 30 '18 at 19:26










            • $begingroup$
              That's not my point. Look at my first comment.
              $endgroup$
              – Thinking
              Nov 30 '18 at 19:27










            • $begingroup$
              The result holds for continuously differentiable functions. $x+10x^2sin(1/x)$ is not continuously differentiable at $0$.
              $endgroup$
              – Shubham Johri
              Nov 30 '18 at 19:37




















            • $begingroup$
              This is wrong. The fact that $f'(a) < 0$ doesn't mean there is a neighbourhood of $a$ where the function is strictly decreasing. Take for example : $xmapsto x+10x^2sin(1/x)$
              $endgroup$
              – Thinking
              Nov 30 '18 at 18:47










            • $begingroup$
              at $0$ it doesn't verify what you are saying
              $endgroup$
              – Thinking
              Nov 30 '18 at 19:22










            • $begingroup$
              $sin x/x$ is continuously differentiable for $x>pi/2$
              $endgroup$
              – Shubham Johri
              Nov 30 '18 at 19:26










            • $begingroup$
              That's not my point. Look at my first comment.
              $endgroup$
              – Thinking
              Nov 30 '18 at 19:27










            • $begingroup$
              The result holds for continuously differentiable functions. $x+10x^2sin(1/x)$ is not continuously differentiable at $0$.
              $endgroup$
              – Shubham Johri
              Nov 30 '18 at 19:37


















            $begingroup$
            This is wrong. The fact that $f'(a) < 0$ doesn't mean there is a neighbourhood of $a$ where the function is strictly decreasing. Take for example : $xmapsto x+10x^2sin(1/x)$
            $endgroup$
            – Thinking
            Nov 30 '18 at 18:47




            $begingroup$
            This is wrong. The fact that $f'(a) < 0$ doesn't mean there is a neighbourhood of $a$ where the function is strictly decreasing. Take for example : $xmapsto x+10x^2sin(1/x)$
            $endgroup$
            – Thinking
            Nov 30 '18 at 18:47












            $begingroup$
            at $0$ it doesn't verify what you are saying
            $endgroup$
            – Thinking
            Nov 30 '18 at 19:22




            $begingroup$
            at $0$ it doesn't verify what you are saying
            $endgroup$
            – Thinking
            Nov 30 '18 at 19:22












            $begingroup$
            $sin x/x$ is continuously differentiable for $x>pi/2$
            $endgroup$
            – Shubham Johri
            Nov 30 '18 at 19:26




            $begingroup$
            $sin x/x$ is continuously differentiable for $x>pi/2$
            $endgroup$
            – Shubham Johri
            Nov 30 '18 at 19:26












            $begingroup$
            That's not my point. Look at my first comment.
            $endgroup$
            – Thinking
            Nov 30 '18 at 19:27




            $begingroup$
            That's not my point. Look at my first comment.
            $endgroup$
            – Thinking
            Nov 30 '18 at 19:27












            $begingroup$
            The result holds for continuously differentiable functions. $x+10x^2sin(1/x)$ is not continuously differentiable at $0$.
            $endgroup$
            – Shubham Johri
            Nov 30 '18 at 19:37






            $begingroup$
            The result holds for continuously differentiable functions. $x+10x^2sin(1/x)$ is not continuously differentiable at $0$.
            $endgroup$
            – Shubham Johri
            Nov 30 '18 at 19:37




















            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%2f3020365%2fwhich-of-the-following-statements-are-true-for-a-t-sin-frac1t-t-in%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

            Biblatex bibliography style without URLs when DOI exists (in Overleaf with Zotero bibliography)

            ComboBox Display Member on multiple fields

            Is it possible to collect Nectar points via Trainline?