Nie wiem, czy to jest w 100% poprawne rozwiązanie...

2.odf

"2. zbadać zbieżność całki niewłaściwej" ~ int from 1 to +infinity {{cos^17(x+1) cdot ln{x}} over {ln(2x) cdot (x^3+3x)}} dx .
newline
{{cos^17{(x+1)}} over {ln{(2x)} cdot (x^3+3x)}} <= {{x} over {2x(x^3+3x)}} <= {{1} over {x^3}}
newline
int {1 over x^3} dx ~ "zbieżna, bo" ~ int {1 over x^%alfa}dx dla %alfa>1 zbieżna

zad 1 jest dobrze, tego czy tyle w tym wystarczy to chyba i najstarsi górale nie wiedzą. Tylko ponieważ cosinus jest w 17 potędze to należy jeszcze zrobić moduł (jeżeli moduł całki jest zbieżny, to i całka)