Shannon sampling theorem