Programy według Hardy-infinity