We study best approximations in Banach spaces via Birkhoff–James orthogonality of functionals. To exhibit the usefulness techniques approximation problems, some algorithms and distance formulae are presented. As an application our study, we obtain crucial inequalities, which also strengthen classical Hölder’s inequality. The relevance inequalities discussed through concrete examples.