{"id":370,"date":"2014-07-01T07:00:37","date_gmt":"2014-07-01T05:00:37","guid":{"rendered":"http:\/\/www.glc.us.es\/~jalonso\/exercitium\/?p=370"},"modified":"2014-12-27T13:08:42","modified_gmt":"2014-12-27T11:08:42","slug":"limite-de-sucesiones","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/limite-de-sucesiones\/","title":{"rendered":"L\u00edmite de sucesiones"},"content":{"rendered":"<h4>Enunciado<\/h4>\n<pre lang=\"text\">\n-- Ejercicio. Definir la funci\u00f3n  \n--    limite :: (Double -> Double) -> Double -> Double\n-- tal que (limite f a) es el valor de f en el primer t\u00e9rmino x tal que, \n-- para todo y entre x+1 y x+100, el valor absoluto de la diferencia\n-- entre f(y) y f(x) es menor que a. Por ejemplo,\n--    limite (\\n -> (2*n+1)\/(n+5)) 0.001  ==  1.9900110987791344\n--    limite (\\n -> (1+1\/n)**n) 0.001     ==  2.714072874546881\n<\/pre>\n<h4>Soluciones<\/h4>\n<pre lang=\"haskell\">\nlimite :: (Double -> Double) -> Double -> Double\nlimite f a = \n    head [f x | x <- [1..],\n                maximum [abs(f y - f x) | y <- [x+1..x+100]] < a]\n<\/pre>\n","protected":false},"excerpt":{"rendered":"<p>Enunciado &#8212; Ejercicio. Definir la funci\u00f3n &#8212; limite :: (Double -> Double) -> Double -> Double &#8212; tal que (limite f a) es el valor de f en el primer t\u00e9rmino x tal que, &#8212; para todo y entre x+1 y x+100, el valor absoluto de la diferencia &#8212; entre f(y) y f(x) es menor&#8230;<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[4],"tags":[130,8,71,15,11],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/posts\/370"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/comments?post=370"}],"version-history":[{"count":8,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/posts\/370\/revisions"}],"predecessor-version":[{"id":675,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/posts\/370\/revisions\/675"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/media?parent=370"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/categories?post=370"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/tags?post=370"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}