Guaranteed functional estimation by samples of fixed size