Approximations of irrationalities by using linear recurrent sequences