arctg7x < arcsin2x