>>583訂正。有理数の記号はQでした。
>>582
n=8のとき、
tan45°=1
∀kэRに対して1^kэQ