www.youtube.com 補足： ・N >= 1 を仮定しても構いません。 ・C言語でなくても構いません。 本題 証明 ？？？ あとがき おわり 本題 下記のコードの正当性を示していきます。 fn plus1(x: i32) -> i32 { (x as f64).sqrt().atan().cos().powi(2).recip().ro…