При раскрытии неопределенности вида 0/0 используют 1-й зам предел: lim при х стрм 0 sinx/x=1. Отсюда так же lim при х стрм х0 sinальфаx /альфаx=1.
Здесь альфа(х)-БМ при х стрм х0.
1-й зам предел работает только если аргумент у sin стремится к 0.
Следствия:
1) lim arcsinx/x=1
2) lim tgx/x=1
3) lim arctgx/x=1