Xrfgtjtk

$$lim_{x to infty} frac{x}{x+sin(x)}$$

This is of the indeterminate form of type $frac{infty}{infty}$, so we can apply l'Hopital's rule:

$$lim_{xtoinfty}frac{x}{x+sin(x)}=lim_{xtoinfty}frac{(x)'}{(x+sin(x))'}=lim_{xtoinfty}frac{1}{1+cos(x)}$$

This limit doesn't exist, but the initial limit clearly approaches $1$. Where am I wrong?

Your only error -- and it's a common one -- is in a subtle misreading of L'Hopital's rule. What the rules says is IF the limit of $f'$ over $g'$ exists then the limit of $f$ over $g$ also exists and the two limits are the same. It doesn't say anything if the limit of $f'$ over $g'$ doesn't exist.

L'Hopital's rule only tells you that if the modified limit exists and has value $L$, then the original limit also exists and has value $L$. It doesn't tell you that the converse holds.

So, the fact that the modified limit doesn't exist gives you no information about the original limit. So, you need a different method.

Consider something more direct: can you compute
$$
lim_{xtoinfty}frac{x}{x+sin x}=lim_{xtoinfty}frac{1}{1+frac{sin x}{x}}?
$$

Because you don't need it! And because one of the hypotheses (under which this technique applies) is not verified in this case.

Here, in layman terms, the ratio of derivatives does not have a limit. The de l'Hospital rule is sometimes (often) misused: a lot of people believe that if one cannot compute the limit of a ratio, it is easier to compute the limit of the ratio of derivative. This is not true in general. Derivatives are rarely more continuous than original functions.

And remember that the purpose of exercise is to train your mathematical skills, not to get the result. The teacher knows it already (hopefully). Using de L'Hôpital's rule is sometimes overkill, with which you don't learn what is going on with your function. It is better to try first simpler techniques, such as factorization of leading terms (here $x$), transformations (logarithms), etc.

Now let us go to the point.

De L'Hôpital's rule states that: if $f$ and $g$ are functions that are differentiable on some (small enough) open interval $I$ (except possibly at a point $x_0$ contained in $I$), if $$lim_{xto x_0}f(x)=lim_{xto x_0}g(x)=0 ;mathrm{ or }; pminfty,$$ if $g'(x)ne 0$ for all $x$ in $I$ with $x ne x_0$, and $lim_{xto x_0}frac{f'(x)}{g'(x)}$ exists, then:

$$lim_{xto x_0}frac{f(x)}{g(x)} = lim_{xto x_0}frac{f'(x)}{g'(x)},.$$

The most classical "counter-example" is when functions are constant: $f(x)=c$ and $g(x)=1$. The derivative of $g(x)$ vanishes on any open interval, while $f/g = c$.

The factorization proposed by @Nick Peterson typically avoids to resort to this overkill rule when it is not necessary (especially when the indeterminacy can be lifted easily).

De L'Hôpital's rule looks magic, and as for every magic, it shall be used wisely with parsimony (unless it unleashes terrible powers).

others already said that l'Hopital requires existence of the limit of the ratio of the derivatives;
However in addition, with a solid understanding of limit definition is still possible to prove solution applying De l'Hopital, but not to that function, think about this:

$$lim_{x to +infty} frac{x}{x+1} leq lim_{x to +infty} frac{x}{x-sin(x)} leq lim_{x to +infty} frac{x}{x-1}$$
condensed considering also $-infty$ with
$$lim_{x to infty} frac{x}{x+sig(x)} leq lim_{x to infty} frac{x}{x+sin(x)} leq lim_{x to infty} frac{x}{x-sig(x)}$$
where
$$sig(x)=left{
begin{matrix}
0 & x=0\
frac{|x|}x & xne 0
end{matrix}
right.$$

prove the above while apply l'Hopital to

$$lim_{x to infty} frac{x}{xpm 1}$$

the squeezing inequities are true after a certain G, formally $exists G / forall xinRe,|x|>G : frac{x}{x+sig(x)} leq frac{x}{x+sin(x)} leq frac{x}{x-sig(x)}$

applying the limit definition to $x over x+sin(x)$ the starting point M selecting all x>M has to be greater or equal than G (simply require $Mgeq G$), in this case M=G is great enough to say that the limit is the same 1.

More formally (I actually didn't find an online pointable suitable formal definition of $lim_{xtoinfty}$, so I'm making it up)

$$lim_{x to infty} f(x) = rin {Re, -infty, +infty, NaN} / \
exists r in Re : forall epsilon in Re, epsilon>0: exists M in Re : forall x in Re, |x| > M : |f(x)-r|<epsilon \
lor r=infty, omissis \
lor r=+infty, omissis \
lor r=-infty, omissis \
lor r=NaN, omissis. $$
(r as abbreviation of response, NaN (not a number) is when the limit doesn't exists and $lor$ is in this case a shortcut or).

think of names

$f(x)=frac{x}{x+sin(x)}$

$g(x)=frac{x}{x pm 1}$, and when the definition of limit is used with g(x) the lower bound M is called G

from the evident property
$exists G' in Re^+ | forall x in Re, |x|>G' : x-1 leq x+sin(x) leq x+1$

$Rightarrow exists G in Re^+ | forall x in Re, |x|>G : frac{x}{x+sig(x)} leq frac{x}{x+sin(x)} leq frac{x}{x-sig(x)}$

$$lim_{x to infty} frac{x}{xpm 1} underleftarrow{=(?H)= lim_{x to +infty} frac{frac{d}{dx} x}{frac{d}{dx}(x pm 1)} = lim_{x to +infty} frac{1}{1 pm 0}=1}$$
the existence of this limits (they are two, due to $pm$) ensures that

$forall epsilon in Re, epsilon>0: exists G in Re : forall x in Re, |x| > G : |g(x)-r|<epsilon$

Choosing $M geq G$ ($M$ is the lower bound in the definition of limit for $f(x)$)
$$ Rightarrow
lim_{x to infty} f(x)=1$$

There is another useful rule, which I don't seem to have seen written down explicitly:

Let $f, g, r$ and $s$ be functions such that $gtoinfty$ and $r, s$ are bounded.

Then the limit of $dfrac{f}{g}$ and the limit of $dfrac{f + r}{g + s}$ gives the same result.

Applied here, since $sin x$ is bounded, the limit is the same as the limit of $dfrac{x}{x}$.