sinx=( x(60-7x2) + x7f(x) )/ ( 60+3x2)
( 60+3x2)* sinx = x(60-7x2) + x7f(x) = 60x - 7x3 + x7f(x)
( 60+3x2)* sinx - 60x + 7x3 = x7f(x)
( 60+3x2)/ x^6 * sinx / x - 60/ x^6 + 7/ x4 = f(x)
( 60/x^6 +3/ x^4 ) * sinx / x - 60/ x^6 + 7/ x4 = f(x)
( 60/x^6) * sinx / x +3/ x^4 * sinx / x - 60/ x^6 + 7/ x4 = f(x)
( 60/x^6) * sinx / x - 60/ x^6 +3/ x^4 * sinx / x + 7/ x4 = f(x)
???
sin x / x geht ja gegen 1 . Also werden sich wohl die ersten beiden Summanden
für x gegen 0 aufheben und die anderen beiden gehen beide gegen + unendlich,
also ist das wohl der GW. Bin mir aber nicht ganz sicher, ein
korrekter Beweis ist das eh nicht.
Graph etwa so :~plot~ sin(x)*(60+3x^2 )/x^7-60/x^6+7/x^4;[[-.1|.1|-1|1]] ~plot~