Citat:
Cabo: Evo jednog lepog primera da ne može baš uvek da se radi

Upotrebio si oznaku

, odakle sledi da je

inverzibilna funkcija, tako da nikakav primer sa neinverzibilnom funkcijom zapravo nije kontraprimer.
U primeru koji si naveo se koristi arkus sinus, koji jednostavno nije inverzna funkcija sinusu, jer sinus zapravo i nema inverznu funkciju. Inverzna funkcija arkus sinusu je restrikcija sinusa na interval

, a to nije podintegralna funkcija, jer se integracija vrši van tog domena. Smatram da je ovo najispravnije tumačenje tog primera.
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.