A theoretical study of the hard sphere fluid–solid interface