Functional analysis and NSA