Also check the eigrp database in R2 to see if the OSPF routes get in (show ip eigrp topology). And make sure auto-summary is disabled in both EIGRP routers.