lower and upper semi-inner product, semi-inner products, Schwarz inequality, smooth normed spaces, Birkhoff orthogonality, best approximants