実数は有理数で近似可能だから加算無限の区間でカバーできる、証明は
トリビアと書き捨てておけばいい